Custom Query (1030 matches)

In the IDE on Windows, there is no matching paren indication.

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

(let ((a t) (b t))

(setf (values (values a b)) (values 1 2)) (list a b))

should return (1 NIL), but returns (1 2).

Looks like this was introduced by modifying original cmucl sources, putting removed parts back does fix it. Attached patch does this.