Re: [Axiom-developer] B-MDEF

[Gabriel Dos Reis]

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))))