[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] B-MDEF
From: |
Gabriel Dos Reis |
Subject: |
Re: [Axiom-developer] B-MDEF |
Date: |
11 Aug 2007 12:10:35 -0500 |
Gabriel Dos Reis <address@hidden> 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 <address@hidden>
* 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))))