Custom Query (1030 matches)

r16767 causes trouble on my Raspberry Pi 3.

Linux kupo 4.4.13-v7+ #894 SMP Mon Jun 13 13:13:27 BST 2016 armv7l GNU/Linux

It reliably fails when doing (rebuild-ccl :clean t) with the following strange error.

;Compiling "/home/rme/ccl/compiler/nxenv.lisp"...
> Error: The value -1069547520 is not of the expected type INTEGER.
> While executing: ARM::ENCODE-ARM-IMMEDIATE, in process listener(1).
> Type :POP to abort, :R for a list of available restarts.
> Type :? for other options.
1 > b
*(76BAFE20) : 0 (ENCODE-ARM-IMMEDIATE ???) 40
*(76BAFE20) : 1 (FUNCALL #'#<ARM2-FIXNUM> #<VINSN-LIST #x14557786> #<LREG 8 GPR {5}/LISP> 2 -267386880) 580
 (76BAFE20) : 2 (ARM2-FORM #<VINSN-LIST #x14557786> #<LREG 8 GPR {5}/LISP> 2 #<ACODE fixnum (-267386880)>) 788
 (76BAFE30) : 3 (FUNCALL #'#<ARM2-IF> #<VINSN-LIST #x14557786> #<LREG 8 GPR {5}/LISP> 2 #<ACODE call (#<# # #> # NIL)> #<ACODE fixnum (-267386880)> #<ACODE fixnum (-268435456)>) 2100
 (76BAFEE0) : 4 (ARM2-FORM #<VINSN-LIST #x14557786> #<LREG 8 GPR {5}/LISP> 2 #<ACODE if (#<# # #> #<# # #> #<# # #>)>) 788
...

To duplicate, svn up -r 16766 and bootstrap.

Then, svn up -r 16767, and rebuild the lisp kernel. (rebuild-ccl :clean t) will fail as above.

Building the lisp compiler with -O0 shows the same results as with -O2.

According to CLHS entry for Constant Variable LAMBDA-LIST-KEYWORDS, it is "a list of all the lambda list keywords used in the implementation, including the additional ones used only by macro definition forms".

(arglist #'+) on CCL returns (CCL::&LEXPR CCL::NUMBERS), which includes a keyword &LEXPR that is not on the LAMBDA-LIST-KEYWORDS list.

Therefore I conclude that CCL is not compliant when it comes to this issue.

This is a suggested patch to fix this behaviour.

​https://github.com/phoe/ccl/commit/5ac9d024c08fc5eb5302491be218143640aa3388

(format t "~<Options: ~:@>")

should complain about a missing argument, but doesn't do so in OpenMCL.