Tim --
The SBCL compiler does not like the definition of B-MDEF in def.lisp:
(defun B-MDEF (FORM SIGNATURE $BODY)
(declare (ignore SIGNATURE))
(let* ($OpAssoc
($op (first form))
(argl (cdr form))
(GARGL (MAPCAR '(LAMBDA (X) (GENSYM)) ARGL))
($BODY (SUBLISLIS GARGL ARGL (|bootTransform| (DEFTRAN $BODY))))
($BODY (LIST 'SUBLISLIS (CONS 'LIST GARGL)
(LIST 'QUOTE GARGL) (LIST 'QUOTE $BODY))))
(COMP (SUBLIS $OPASSOC
(LIST (LIST $OP (LIST 'MLAMBDA (CONS () GARGL) $BODY)))))))
Saying that:
; file: /home/gdr/build/bi/src/interp/def.lisp
; in: DEFUN B-MDEF
; (MAPCAR '(LAMBDA (BOOT::X) (GENSYM)) BOOT::ARGL)
; --> LET SB-INT:DO-ANONYMOUS BLOCK LET TAGBODY TAGBODY RPLACD LET PROGN SETF
; --> SB-KERNEL:%RPLACD SETQ THE LIST CONS
; ==>
; (FUNCALL #:G70 (CAR #:G69))
;
; caught WARNING:
; Asserted type (OR FUNCTION SYMBOL) conflicts with derived type
; (VALUES CONS &OPTIONAL).
; See also:
; The SBCL Manual, Node "Handling of Types"
Indeed, in
(GARGL (MAPCAR '(LAMBDA (X) (GENSYM)) ARGL))
we really want to say
(GARGL (MAPCAR #'(LAMBDA (X) (GENSYM)) ARGL))
^
was missing
-- Gaby
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
