[Axiom-developer] (optimize safety) and interpsys building error

[David MENTRE]

Hello Axiom's hackers,

I though it would have been a good idea to have a version of Axiom that
would have been compiled with all the bells and whistles activated, i.e.
with (declaim (optimize safety)) (see patch below).  Well, it is not as
easy as I first thought.

When building intersys, the build fails with the following message:
  Error:  Lisps arglist maximum surpassed
  Fast links are on: do (si::use-fast-links nil) for debugging
  Error signalled by GET-NAG-CHAPTER.

Has anybody an idea why it fails with (declaim (optimize safety)) and
not with the usual build (safety 0)?

Best regards,
d.

--- axiom-cvs-2003-06-25/new/new/src/boot/Makefile.pamphlet     Wed May  7 
21:28:56 2003
+++ axiom-cvs-2003-06-25-dm/new/new/src/boot/Makefile.pamphlet  Fri Jul 25 
21:35:58 2003
@@ -1095,13 +1095,13 @@
 the final {\bf SAVESYS} image. This S-expression will be given to
 a clean lisp image, loaded with the compiled files, and saved.
  
-Note that the \' symbol should not appear in this S-expression
+Note that the ' symbol should not appear in this S-expression
 because the {\bf CMD0} command will be expanded into a shell
 echo command and it will be surrounded by single quotes at the
 expansion. Adding a single quote symbol will break this expansion.
 
 <<environment>>= 
-CMD0=  (progn (mapcar (function (lambda (x) (load  x))) (quote (${OBJS1}))) 
(system::save-system "${SAVESYS}"))
+CMD0=  (progn (declaim (optimize safety)) (mapcar (function (lambda (x) (load  
x))) (quote (${OBJS1}))) (system::save-system "${SAVESYS}"))
  
 @
 \subsection{boothdr.lisp \cite{1}}
@@ -1110,7 +1110,7 @@
 ${OUT}/boothdr.${O}: ${MID}/boothdr.lisp
        @ echo 1 making ${OUT}/boothdr.${O} from ${MID}/boothdr.lisp
        @ ( cd ${MID} ; \
-          echo '(progn  (compile-file "boothdr.lisp" :output-file 
"${OUT}/boothdr.${O}") (${BYE}))' | ${LISPSYS}  )
+          echo '(progn (declaim (optimize safety)) (compile-file 
"boothdr.lisp" :output-file "${OUT}/boothdr.${O}") (${BYE}))' | ${LISPSYS}  )
  
 @
 
@@ -1144,7 +1144,7 @@
 ${OUT}/btincl2.${O}: ${MID}/btincl2.lisp
        @ echo 4 making ${OUT}/btincl2.${O} from ${MID}/btincl2.lisp
        @ ( cd ${MID} ; \
-          echo '(progn ${DEPS} (compile-file "btincl2.lisp" :output-file 
"${OUT}/btincl2.${O}") (${BYE}))' | ${LISPSYS}  )
+          echo '(progn (declaim (optimize safety)) ${DEPS} (compile-file 
"btincl2.lisp" :output-file "${OUT}/btincl2.${O}") (${BYE}))' | ${LISPSYS}  )
  
 @
 
@@ -1172,7 +1172,7 @@
 btincl2.boot: btincl2.boot.pamphlet
        @echo 7 making btincl2.boot from btincl2.boot.pamphlet
        @( ${SPADBIN}/notangle btincl2.boot.pamphlet >btincl2.boot ; \
-       echo '(progn (boottran::boottocl "btincl2.boot") (${BYE}))' | 
${BOOTSYS} )
+       echo '(progn (declaim (optimize safety)) (boottran::boottocl 
"btincl2.boot") (${BYE}))' | ${BOOTSYS} )
 
 @
 
@@ -1187,7 +1187,7 @@
 ${OUT}/btpile2.${O}: ${MID}/btpile2.lisp
        @ echo 8 making ${OUT}/btpile2.${O} from ${MID}/btpile2.lisp
        @ ( cd ${MID} ; \
-          echo '(progn ${DEPS} (compile-file "btpile2.lisp" :output-file 
"${OUT}/btpile2.${O}") (${BYE}))' | ${LISPSYS}  )
+          echo '(progn (declaim (optimize safety)) ${DEPS} (compile-file 
"btpile2.lisp" :output-file "${OUT}/btpile2.${O}") (${BYE}))' | ${LISPSYS}  )
  
 @
 
@@ -1215,7 +1215,7 @@
 btpile2.boot: btpile2.boot.pamphlet
        @echo 11 making btpile2.boot from btpile2.boot.pamphlet
        @( ${SPADBIN}/notangle btpile2.boot.pamphlet >btpile2.boot ; \
-       echo '(progn (boottran::boottocl "btpile2.boot") (${BYE}))' | 
${BOOTSYS} )
+       echo '(progn (declaim (optimize safety)) (boottran::boottocl 
"btpile2.boot") (${BYE}))' | ${BOOTSYS} )
 
 @
 
@@ -1230,7 +1230,7 @@
 ${OUT}/btscan2.${O}: ${MID}/btscan2.lisp
        @ echo 12 making ${OUT}/btscan2.${O} from ${MID}/btscan2.lisp
        @ ( cd ${MID} ; \
-          echo '(progn ${DEPS} (compile-file "btscan2.lisp" :output-file 
"${OUT}/btscan2.${O}") (${BYE}))' | ${LISPSYS}  )
+          echo '(progn (declaim (optimize safety)) ${DEPS} (compile-file 
"btscan2.lisp" :output-file "${OUT}/btscan2.${O}") (${BYE}))' | ${LISPSYS}  )
  
 @
 
@@ -1258,7 +1258,7 @@
 btscan2.boot: btscan2.boot.pamphlet
        @echo 15 making btscan2.boot from btscan2.boot.pamphlet
        @( ${SPADBIN}/notangle btscan2.boot.pamphlet >btscan2.boot ; \
-       echo '(progn (boottran::boottocl "btscan2.boot") (${BYE}))' | 
${BOOTSYS} )
+       echo '(progn (declaim (optimize safety)) (boottran::boottocl 
"btscan2.boot") (${BYE}))' | ${BOOTSYS} )
 
 @
 
@@ -1268,7 +1268,7 @@
 ${OUT}/exports.${O}: ${MID}/exports.lisp
        @ echo 16 making ${OUT}/exports.${O} from ${MID}/exports.lisp
        @ ( cd ${MID} ; \
-          echo '(progn  (compile-file "exports.lisp" :output-file 
"${OUT}/exports.${O}") (${BYE}))' | ${LISPSYS}  )
+          echo '(progn (declaim (optimize safety))  (compile-file 
"exports.lisp" :output-file "${OUT}/exports.${O}") (${BYE}))' | ${LISPSYS}  )
  
 @
 
@@ -1298,7 +1298,7 @@
 ${OUT}/npextras.${O}: ${MID}/npextras.lisp
        @ echo 19 making ${OUT}/npextras.${O} from ${MID}/npextras.lisp
        @ ( cd ${MID} ; \
-          echo '(progn  (compile-file "npextras.lisp" :output-file 
"${OUT}/npextras.${O}") (${BYE}))' | ${LISPSYS}  )
+          echo '(progn (declaim (optimize safety))  (compile-file 
"npextras.lisp" :output-file "${OUT}/npextras.${O}") (${BYE}))' | ${LISPSYS}  )
  
 @
 
@@ -1333,7 +1333,7 @@
 ${OUT}/ptyout.${O}: ${MID}/ptyout.lisp
        @ echo 22 making ${OUT}/ptyout.${O} from ${MID}/ptyout.lisp
        @ ( cd ${MID} ; \
-          echo '(progn ${DEPS} (compile-file "ptyout.lisp" :output-file 
"${OUT}/ptyout.${O}") (${BYE}))' | ${LISPSYS}  )
+          echo '(progn (declaim (optimize safety)) ${DEPS} (compile-file 
"ptyout.lisp" :output-file "${OUT}/ptyout.${O}") (${BYE}))' | ${LISPSYS}  )
  
 @
 
@@ -1360,7 +1360,7 @@
 ptyout.boot: ptyout.boot.pamphlet
        @echo 25 making ptyout.boot from ptyout.boot.pamphlet
        @( ${SPADBIN}/notangle ptyout.boot.pamphlet >ptyout.boot ; \
-          echo '(progn (boottran::boottocl "ptyout.boot") (${BYE}))' | 
${BOOTSYS} )
+          echo '(progn (declaim (optimize safety)) (boottran::boottocl 
"ptyout.boot") (${BYE}))' | ${BOOTSYS} )
 
 @
 
@@ -1375,7 +1375,7 @@
 ${OUT}/tyextra.${O}: ${MID}/tyextra.lisp
        @ echo 26 making ${OUT}/tyextra.${O} from ${MID}/tyextra.lisp
        @ ( cd ${MID} ; \
-          echo '(progn ${DEPS} (compile-file "tyextra.lisp" :output-file 
"${OUT}/tyextra.${O}") (${BYE}))' | ${LISPSYS}  )
+          echo '(progn (declaim (optimize safety)) ${DEPS} (compile-file 
"tyextra.lisp" :output-file "${OUT}/tyextra.${O}") (${BYE}))' | ${LISPSYS}  )
  
 @
 
@@ -1403,7 +1403,7 @@
 tyextra.boot: tyextra.boot.pamphlet
        @echo 29 making tyextra.boot from tyextra.boot.pamphlet
        @( ${SPADBIN}/notangle tyextra.boot.pamphlet >tyextra.boot ; \
-       echo '(progn (boottran::boottocl "tyextra.boot") (${BYE}))' | 
${BOOTSYS} )
+       echo '(progn (declaim (optimize safety)) (boottran::boottocl 
"tyextra.boot") (${BYE}))' | ${BOOTSYS} )
 
 @
 
@@ -1418,7 +1418,7 @@
 ${OUT}/typars.${O}: ${MID}/typars.lisp
        @ echo 30 making ${OUT}/typars.${O} from ${MID}/typars.lisp
        @ ( cd ${MID} ; \
-          echo '(progn ${DEPS} (compile-file "typars.lisp" :output-file 
"${OUT}/typars.${O}") (${BYE}))' | ${LISPSYS}  )
+          echo '(progn (declaim (optimize safety)) ${DEPS} (compile-file 
"typars.lisp" :output-file "${OUT}/typars.${O}") (${BYE}))' | ${LISPSYS}  )
  
 @
 
@@ -1445,7 +1445,7 @@
 typars.boot: typars.boot.pamphlet
        @echo 33 making typars.boot from typars.boot.pamphlet
        @( ${SPADBIN}/notangle typars.lisp.pamphlet >typars.boot ; \
-       echo '(progn (boottran::boottocl "typars.boot") (${BYE}))' | ${BOOTSYS} 
)
+       echo '(progn (declaim (optimize safety)) (boottran::boottocl 
"typars.boot") (${BYE}))' | ${BOOTSYS} )
 
 @
 
@@ -1460,7 +1460,7 @@
 ${OUT}/typrops.${O}: ${MID}/typrops.lisp
        @ echo 34 making ${OUT}/typrops.${O} from ${MID}/typrops.lisp
        @ ( cd ${MID} ; \
-          echo '(progn ${DEPS} (compile-file "typrops.lisp" :output-file 
"${OUT}/typrops.${O}") (${BYE}))' | ${LISPSYS}  )
+          echo '(progn (declaim (optimize safety)) ${DEPS} (compile-file 
"typrops.lisp" :output-file "${OUT}/typrops.${O}") (${BYE}))' | ${LISPSYS}  )
  
 @
 
@@ -1488,7 +1488,7 @@
 typrops.boot: typrops.boot.pamphlet
        @echo 37 making typrops.boot from typrops.boot.pamphlet
        @( ${SPADBIN}/notangle  typrops.boot.pamphlet >typrops.boot ; \
-       echo '(progn (boottran::boottocl "typrops.boot") (${BYE}))' | 
${BOOTSYS} )
+       echo '(progn (declaim (optimize safety)) (boottran::boottocl 
"typrops.boot") (${BYE}))' | ${BOOTSYS} )
 
 @
 
@@ -1503,7 +1503,7 @@
 ${OUT}/tytree1.${O}: ${MID}/tytree1.lisp
        @ echo 38 making ${OUT}/tytree1.${O} from ${MID}/tytree1.lisp
        @ ( cd ${MID} ; \
-          echo '(progn ${DEPS} (compile-file "tytree1.lisp" :output-file 
"${OUT}/tytree1.${O}") (${BYE}))' | ${LISPSYS}  )
+          echo '(progn (declaim (optimize safety)) ${DEPS} (compile-file 
"tytree1.lisp" :output-file "${OUT}/tytree1.${O}") (${BYE}))' | ${LISPSYS}  )
  
 @
 
@@ -1531,7 +1531,7 @@
 tytree1.boot: tytree1.boot.pamphlet
        @echo 41 making tytree1.boot from tytree1.boot.pamphlet
        @( ${SPADBIN}/notangle tytree1.boot.pamphlet >tytree1.boot ; \
-       echo '(progn (boottran::boottocl "tytree1.boot") (${BYE}))' | 
${BOOTSYS} )
+       echo '(progn (declaim (optimize safety)) (boottran::boottocl 
"tytree1.boot") (${BYE}))' | ${BOOTSYS} )
 
 @
 \section{Making the documentation}
--- axiom-cvs-2003-06-25/new/new/src/interp/Makefile.pamphlet   Sat Jun 28 
00:27:27 2003
+++ axiom-cvs-2003-06-25-dm/new/new/src/interp/Makefile.pamphlet        Sat Jul 
26 12:12:49 2003
@@ -517,6 +517,7 @@
                ${OUT}/slam.${LISP} ${LOADSYS}
        @ echo 3 making ${DEPSYS} 
        @ echo '(load "${OUT}/sys-pkg")' > ${OUT}/makedep.lisp
+       @ echo '(declaim (optimize safety))' >> ${OUT}/makedep.lisp
        @ echo '(push :oldboot *features*)' >>${OUT}/makedep.lisp
        @ echo '(load "${OUT}/nocompil")' >> ${OUT}/makedep.lisp
        @ echo '(load "${OUT}/util")' >> ${OUT}/makedep.lisp
@@ -590,6 +591,7 @@
        @ cp -p ${SRC}/doc/msgs/s2-us.msgs ${SPAD}/doc/msgs
 #      @ cp -p ${SRC}/doc/msgs/co-eng.msgs ${SPAD}/doc/msgs
        @ echo '(load "${OUT}/sys-pkg")' > ${OUT}/makeint.lisp
+       @ echo '(declaim (optimize safety))' >> ${OUT}/makeint.lisp
        @ echo '(load "${OUT}/nocompil")' >> ${OUT}/makeint.lisp
        @ echo '(load "${OUT}/util")' >> ${OUT}/makeint.lisp
        @ echo '(in-package "BOOT")' >> ${OUT}/makeint.lisp
@@ -621,7 +623,7 @@
 ${DEBUGSYS}: ${MID}/debugsys.lisp
        @ echo 7 building debugsys
        @ (cd ${OBJ}/${SYS}/bin ; \
-         echo '(progn (gbc t) (load "${MID}/debugsys.lisp") (user::spad-save 
"${DEBUGSYS}"))' | ${LISPSYS} )
+         echo '(progn  (declaim (optimize safety)) (gbc t) (load 
"${MID}/debugsys.lisp") (user::spad-save "${DEBUGSYS}"))' | ${LISPSYS} )
        @ echo 8 ${DEBUGSYS} created
 
 @
@@ -6279,7 +6281,7 @@
 
 ${MNT}/${SYS}/algebra/exposed.${O} : ${MID}/exposed.lsp ${LISPSYS}
        @ echo 616 making ${MNT}/${SYS}/algebra/exposed.${O} from 
${MID}/exposed.lsp
-       @ echo '(progn  (compile-file "${MID}/exposed.lsp" :output-file 
"${MNT}/${SYS}/algebra/exposed.${O}") (${BYE}))' | ${LISPSYS} 
+       @ echo '(progn (declaim (optimize safety)) (compile-file 
"${MID}/exposed.lsp" :output-file "${MNT}/${SYS}/algebra/exposed.${O}") 
(${BYE}))' | ${LISPSYS} 
 
 
 ${OUT}/database.date:
--- axiom-cvs-2003-06-25/new/new/src/interp/util.lisp.pamphlet  Sat Jul 12 
18:43:09 2003
+++ axiom-cvs-2003-06-25-dm/new/new/src/interp/util.lisp.pamphlet       Fri Jul 
25 21:18:04 2003
@@ -1106,6 +1106,7 @@
       (if (member (file-namestring lib) nooptimize :test #'string=)
        (setq compiler::*speed* 0)
        (setq compiler::*speed* 3))
+#+:akcl (declaim (optimize safety))
       (compile-lib-file dotlsp :output-file doto)))))))
 
 @

-- 
 address@hidden