Custom Query (1030 matches)

MCL does this. useful. Sometimes I like to have many inspector windows opened automatically during debugging. I want to close the inspector windows then with a single option-click into the close box.

The following transcript may indicate some sort of a bug in the latest CCL compiler's determination of the number of return values.

I can't get ACL2 to rebuild with the newest compiler, probably because of some such issue. The workhorse function FMT0 of ACL2 is sometimes returning one value instead of two values.

But I get one sort of bug building at SAFETY=3 and another sort of bug running at SAFETY=0, after a presumably bogus build at SAFETY=0. Hurray for SAFETY=3.

Thanks,

ccl -n
Welcome to Clozure Common Lisp Version 1.4-dev-r12577M-trunk  (LinuxX8664)!
? (proclaim '(optimize (safety 0)))
NIL
? (defun bar ()
  (the (values (signed-byte 30) t)
    (values (the (signed-byte 30) 1) 2)))
BAR
? (bar)
1
2
? (proclaim '(optimize (safety 3)))
NIL
? (defun bar ()
  (the (values (signed-byte 30) t)
    (values (the (signed-byte 30) 1) 2)))
BAR
? (bar)
1
? 

Bob

In version Version 1.4-dev-r12599M-trunk:

Unhandled exception 10 at 0x7fff830e0ad9, context->regs at #xb0526990
Exception occurred while executing foreign code
 at objc_msgSend + 41
? for help
[4020] Clozure CL kernel debugger: :b
[4020] Clozure CL kernel debugger: current thread: tcr = 0xa8f52c0, native thread ID = 0x18e93, interrupts disabled


(#x000000000B5B9628) #x0000300041439F54 : #<Anonymous Function #x0000300041439D1F> + 565
(#x000000000B5B9668) #x00003000410C6014 : #<Function (:INTERNAL SEND-UNAMBIGUOUS-MESSAGE (SHARED-INITIALIZE :AFTER (OBJC-DISPATCH-FUNCTION T))) #x00003000410C5E1F> + 501
(#x000000000B5B96D8) #x000030004055973C : #<Function BREAK-LOOP #x0000300040558DAF> + 2445
(#x000000000B5B9908) #x000030004053C44C : #<Function BREAK-LOOP-HANDLE-ERROR #x000030004053BF4F> + 1277
(#x000000000B5B9978) #x00003000405FDF44 : #<Function %ERROR #x00003000405FDDDF> + 357
(#x000000000B5B99A0) #x00003000405FE92C : #<Function CERROR #x00003000405FE58F> + 925
(#x000000000B5B9A38) #x00003000401B54AC : #<Function CHECK-DEFMETHOD-CONGRUENCY #x00003000401B535F> + 333
(#x000000000B5B9A70) #x00003000401B35FC : #<Function %ADD-STANDARD-METHOD-TO-STANDARD-GF #x00003000401B354F> + 173
(#x000000000B5B9AA8) #x00003000401B6D8C : #<Function ENSURE-METHOD #x00003000401B69BF> + 973
(#x000000000B5B9B10) #x000030004053E5BC : #<Function TOPLEVEL-EVAL #x000030004053E2EF> + 717
(#x000000000B5B9BB0) #x0000300040540A64 : #<Function READ-LOOP #x000030004054024F> + 2069
(#x000000000B5B9DF0) #x0000300040548B5C : #<Function TOPLEVEL-LOOP #x0000300040548AEF> + 109
(#x000000000B5B9E20) #x00003000405DBD14 : #<Function (:INTERNAL MAKE-MCL-LISTENER-PROCESS) #x00003000405DBA8F> + 645
(#x000000000B5B9EB8) #x00003000404D8A6C : #<Function RUN-PROCESS-INITIAL-FORM #x00003000404D879F> + 717
(#x000000000B5B9F48) #x00003000404D9674 : #<Function (:INTERNAL (%PROCESS-PRESET-INTERNAL (PROCESS))) #x00003000404D94EF> + 389
(#x000000000B5B9F98) #x00003000404A116C : #<Function (:INTERNAL THREAD-MAKE-STARTUP-FUNCTION) #x00003000404A103F> + 301
[4020] Clozure CL kernel debugger: