Introduction
How to use CafeOBJ processor: Start and Quit; Describing specifications; Reading specifications
Fundamentals of CafeOBJ: Comments; Modules; Sorts; Imports; Operators; Equations; Variables; Show; Parse; Reduce
Verification with proof scores: Proof scores; Equality predicate =; Associativity of +; Commutativity of +
Appendix: Troubleshooting; Built-in modules; Exercises

Troubleshooting

Fail into LISP level

The prompt CHAOS(1): means that CafeOBJ system failed into LISP level by some exception (*). For such a case, type (bye-bye-bye) to quit CafeOBJ.

(*) The prompt and the command are for Allegro Common Lisp 6.1. Those may be different for each LISP system.

CafeOBJ> ^C
Error: Received signal number 2 (Keyboard interrupt)
  [condition type: interrupt-signal]

Restart actions (select using :continue):
 0: continue computation
 1: Abort entirely from this process.

[changing package from "COMMON-LISP-USER" to "CHAOS"]
[1c] CHAOS(1): (bye-bye-bye)
; Exiting Lisp
%

[Next] Built-in modules