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