Q; list (additional information)

[Kong Woei Susanto <susanto@dcs.gla.ac.uk>]

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

---

• Prev by Date: Q: list
• Next by Date: Re: Q; list (additional information)
• Prev by thread: pvs specification on information systems
• Next by thread: Re: Q; list (additional information)
• Index(es):
  • Date
  • Thread