Custom Query (1030 matches)

Use case:

(setf *print-circle* t)
(format nil "~{~A ~:*~A, ~}" '("77" "88"))
=> "#1=77 #1#, #2=88 #2#, "

Expected value

=> "77 77, 88 88, "

cl-user> (compile-file #P"~/test-flet.lisp")
#P"/home/pjb/test-flet.lx64fsl"
nil
nil
cl-user> (cat  #P"~/test-flet.lisp")
(defun f (z)
  (flet ((g (x) (list x x))
         (u z))
    (g z)))

; No value
cl-user> 

The fact that the "lambda-list" for u is an atom should signal a program-error.

CLHS flet says:

  lambda-list---a lambda list; for flet and labels, it is an ordinary lambda list; 

and CLHS 3.4.1 says:

The syntax for ordinary lambda lists is as follows:

lambda-list::= (var* 
                [&optional {var | (var [init-form [supplied-p-parameter]])}*] 
                [&rest var] 
                [&key {var | ({var | (keyword-name var)} [init-form [supplied-p-parameter]])}* [&allow-other-keys]] 
                [&aux {var | (var [init-form])}*]) 

so lambda-list for flet and labels cannot be an atom.

And in the case where I found this, u was also a global function, so perhaps this could be tested by the compiler to add a hint in the error message that perhaps the form was intented to be in the body of the flet.

While trying to compile the lisp-only build of Maxima, I encountered a bug which seems to be related to the ARM compiler in CCL. Here are the last lines of the compilation:

;Compiling "/home/pi/maxima-5.29.1/src/numerical/slatec/zlog.lisp"...
;Loading #P"binary-openmcl/numerical/slatec/zlog.lafsl"...
;Compiling "/home/pi/maxima-5.29.1/src/numerical/slatec/zunik.lisp"...
;Loading #P"binary-openmcl/numerical/slatec/zunik.lafsl"...
;Compiling "/home/pi/maxima-5.29.1/src/numerical/slatec/zunhj.lisp"...
;Loading #P"binary-openmcl/numerical/slatec/zunhj.lafsl"...
;Compiling "/home/pi/maxima-5.29.1/src/numerical/slatec/zuoik.lisp"...
;Loading #P"binary-openmcl/numerical/slatec/zuoik.lafsl"...
;Compiling "/home/pi/maxima-5.29.1/src/numerical/slatec/zuni1.lisp"...
;Loading #P"binary-openmcl/numerical/slatec/zuni1.lafsl"...
;Compiling "/home/pi/maxima-5.29.1/src/numerical/slatec/zkscl.lisp"...
;Loading #P"binary-openmcl/numerical/slatec/zkscl.lafsl"...
;Compiling "/home/pi/maxima-5.29.1/src/numerical/slatec/zshch.lisp"...
;Loading #P"binary-openmcl/numerical/slatec/zshch.lafsl"...
;Compiling "/home/pi/maxima-5.29.1/src/numerical/slatec/zbknu.lisp"...
> Error: PC-relative displacement can't be encoded.
> While executing: (:INTERNAL #:G5915 ARM::ARM-FINALIZE), in process listener(1).
> Type :POP to abort, :R for a list of available restarts.
> Type :? for other options.
1 >
?