Gabriel Dos Reis <[EMAIL PROTECTED]> writes: | 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
Fixed with the patch below. Applied to Axiom.silver. -- Gaby 2007-08-11 Gabriel Dos Reis <[EMAIL PROTECTED]> * src/interp/def.lisp.pamphlet (B-MDEF): Fix typo. 20070716 tpd src/doc/axiom.bib move developernotes to bookvol4 *** src/interp/def.lisp.pamphlet (revision 22516) --- src/interp/def.lisp.pamphlet (local) *************** foo defined inside of fum gets renamed a *** 129,135 **** (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)))) --- 129,135 ---- (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)))) _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer