Custom Query (1030 matches)

? (string-equal :a :ba :start2 1)

Error: :start2 argument 0 exceeds :end2 argument 2

It's a simple bug. There are two references to len1 in ccl::%bounded-string-equal that should be len2.

The attached file produces an error in CCL, startup banner:

Welcome to Clozure Common Lisp Version 1.10-dev-r15881M-trunk  (LinuxX8664)!

The error message is as shown below.

% /projects/acl2/lisps/ccl/ccl-15881
Starting 64-bit CCL
Welcome to Clozure Common Lisp Version 1.10-dev-r15881M-trunk  (LinuxX8664)!
? (load "bug.lisp")
> Error: Registers clobbered applying G to (3)
>        save0 sb: NIL, Was: 4
>        save1 sb: #1=(NIL), Was: #1#
>        save2 sb: *SAVE-SOURCE-LOCATIONS*, Was: *SAVE-SOURCE-LOCATIONS*
>        save3 sb: #2=#<CCL::LEXICAL-ENVIRONMENT #x302000496AAD>, Was: #2#
>        
> While executing: (:INTERNAL CCL::WITH-COMPILATION-UNIT-BODY CCL::LOAD-FROM-STREAM), in process listener(1).
> Type :POP to abort, :R for a list of available restarts.
> Type :? for other options.
1 > 

Perhaps this related to CCL's optimized handling of CASE expressions in some situations; for example, changing 2 to 8 in this example makes the problem disappear.

By the way, I tried it on a Mac too, with a slightly older version of CCL and got a similar error. Startup banner there was:

Welcome to Clozure Common Lisp Version 1.10-dev-r15835M-trunk  (DarwinX8664)!

The following function doesn't work properly on MacOS/64bit (32bit is ok, I didn't test other platforms).

(defun foo (x)
  (if (vectorp x)
      x
      (foo (vector x))))

Welcome to Clozure Common Lisp Version 1.9-r15883M  (DarwinX8664)!
? (defun foo (x) (if (vectorp x) x (foo (vector x))))
FOO
? (foo 'test)
#(#(#(#(#(#(#(................#(#(#(#(#(#(#(
> Error: Stack overflow on temp stack.

Welcome to Clozure Common Lisp Version 1.9-r15788M  (DarwinX8632)!
? (defun foo (x) (if (vectorp x) x (foo (vector x))))
FOO
? (foo 'test)
#(TEST)