[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Q; list (additional information)



Additional information:

I change (: x :) to cons(x,null), and this is the result

  |-------
[1]    CASES null OF null: TRUE, cons(hd, tl): outPort(hd) AND
outPorts(tl) ENDCASES

Rule? (grind)
Error: No class named: NIL.
  [condition type: PROGRAM-ERROR]

Restart actions (select using :continue):
 0: Try finding the class again
 1: continue computation at break level 7
 2: continue computation at break level 6
 3: continue computation at break level 5
 4: continue computation at break level 4
 5: continue computation at break level 3
 6: continue computation at break level 2
 7: continue computation at break level 1
 8: Try calling it again
[9c] PVS(907): (restore)

-- 
Kong Woei Susanto
Department of Computing Science - University of Glasgow
17 Lilybank Gardens, Glasgow G12 8RZ, Scotland, United Kingdom.
e-mail: susanto@dcs.gla.ac.uk Ph: +44-141-3304454  fax:+44-141-3304913