aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/ChangeLog15
-rw-r--r--src/boot/translator.boot8
-rw-r--r--src/interp/compiler.boot2
-rw-r--r--src/interp/daase.lisp2
-rw-r--r--src/interp/define.boot9
-rw-r--r--src/interp/sys-driver.boot3
-rw-r--r--src/interp/sys-globals.boot2
-rw-r--r--src/lisp/core.lisp.in3
8 files changed, 35 insertions, 9 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index 7ba6f171..b6a2edd0 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,5 +1,20 @@
2008-08-17 Gabriel Dos Reis <gdr@cs.tamu.edu>
+ * interp/sys-globals.boot ($updateCatTableIfTrue): Default to false.
+ * interp/sys-driver.boot (AxiomCore::%sysInit): Have ECL quiet.
+ (initializeGlobalState): Initialize new world states.
+ * interp/define.boot (compDefine): Tidy.
+ (compDefineCategory2): Explicitly initialize $TOP_LEVEL and
+ $definition.
+ * interp/daase.lisp (|fillDatabasesInCore|): Use
+ $buildingSystemAlgebra.
+ * interp/compiler.boot (compMakeDeclaration): Explicitly
+ initialize $insideExpressionIfTrue.
+ * boot/translator.boot (AxiomCore::%sysInit): Supper GCL and ECL
+ compiler notes, but ask for warning.
+
+2008-08-17 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
* algebra/Makefile.pamphlet (all-algstrap): New.
* algebra/strap: Update cached Lisp translation.
diff --git a/src/boot/translator.boot b/src/boot/translator.boot
index 8bb98271..508fc2e8 100644
--- a/src/boot/translator.boot
+++ b/src/boot/translator.boot
@@ -68,6 +68,14 @@ genOptimizeOptions stream ==
$translatingOldBoot := false
AxiomCore::%sysInit() ==
+ SETQ(_*LOAD_-VERBOSE_*,false)
+ if %hasFeature KEYWORD::GCL or %hasFeature KEYWORD::ECL then
+ SETF(SYMBOL_-VALUE
+ bfColonColon("COMPILER","*COMPILE-VERBOSE*"),false)
+ SETF(SYMBOL_-VALUE
+ bfColonColon("COMPILER","SUPPRESS-COMPILER-WARNINGS*"),false)
+ SETF(SYMBOL_-VALUE
+ bfColonColon("COMPILER","SUPPRESS-COMPILER-NOTES*"),true)
if rest ASSOC(Option '"boot", %systemOptions()) = '"old"
then $translatingOldBoot := true
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot
index b3f6a7f7..7279e5e3 100644
--- a/src/interp/compiler.boot
+++ b/src/interp/compiler.boot
@@ -831,7 +831,7 @@ compSetq1(form,val,m,E) ==
compMakeDeclaration: (%Form,%Mode,%Env) -> %Maybe %Triple
compMakeDeclaration(x,m,e) ==
- $insideExpressionIfTrue: local
+ $insideExpressionIfTrue: local := false
compColon(x,m,e)
setqSetelt([v,:s],val,m,E) ==
diff --git a/src/interp/daase.lisp b/src/interp/daase.lisp
index d0ce7826..380965e6 100644
--- a/src/interp/daase.lisp
+++ b/src/interp/daase.lisp
@@ -356,7 +356,7 @@
(browseopen)
(setq *category-stream-stamp* '(0 . 0))
(categoryopen) ;note: this depends on constructorform in browse.daase
- (unless (|getOptionValue| (|Option| "system-algebra") (|%systemOptions|))
+ (unless |$buildingSystemAlgebra|
(initial-getdatabase))
#+:AKCL (gbc t)
)
diff --git a/src/interp/define.boot b/src/interp/define.boot
index f7ee6d58..75944abb 100644
--- a/src/interp/define.boot
+++ b/src/interp/define.boot
@@ -60,8 +60,7 @@ compDefine(form,m,e) ==
$tripleHits: local:= 0
$macroIfTrue: local := false
$packagesUsed: local := false
- result:= compDefine1(form,m,e)
- result
+ compDefine1(form,m,e)
++ We are about to process the body of a capsule. If the capsule defines
++ `Rep' as a constant, then implicitly insert the view morphisms
@@ -279,15 +278,15 @@ compDefineCategory2(form,signature,specialCases,body,m,e,
$prefix,$formalArgList) ==
--1. bind global variables
$insideCategoryIfTrue: local:= true
- $TOP__LEVEL: local
- $definition: local
+ $TOP__LEVEL: local := nil
+ $definition: local := form
--used by DomainSubstitutionFunction
$form: local := nil
$op: local := nil
$extraParms: local := nil
--Set in DomainSubstitutionFunction, used further down
-- 1.1 augment e to add declaration $: <form>
- [$op,:argl]:= $definition:= form
+ [$op,:argl] := $definition
e:= addBinding("$",[['mode,:$definition]],e)
-- 2. obtain signature
diff --git a/src/interp/sys-driver.boot b/src/interp/sys-driver.boot
index cc82e8b5..05c39858 100644
--- a/src/interp/sys-driver.boot
+++ b/src/interp/sys-driver.boot
@@ -71,7 +71,7 @@ AxiomCore::%sysInit() ==
-- a goat for CLisp FFI, please.
sys_-osInitCLispFFI()
)endif
-)if %hasFeature KEYWORD::GCL
+)if %hasFeature KEYWORD::GCL or %hasFeature KEYWORD::ECL
SETQ(COMPILER::_*COMPILE_-VERBOSE_*,false)
SETQ(COMPILER::_*SUPPRESS_-COMPILER_-WARNINGS_*,true)
SETQ(COMPILER::_*SUPPRESS_-COMPILER_-NOTES_*,true)
@@ -190,6 +190,7 @@ initializeGlobalState() ==
GCMSG(NIL)
if have_to then
$superHash := MAKE_-HASHTABLE('UEQUAL)
+ initNewWorld()
-- 1. Macros.
if have_to then buildHtMacroTable()
diff --git a/src/interp/sys-globals.boot b/src/interp/sys-globals.boot
index c66f0d82..e42e9a91 100644
--- a/src/interp/sys-globals.boot
+++ b/src/interp/sys-globals.boot
@@ -240,7 +240,7 @@ $traceletFunctions := []
$useDCQnotLET := false
++
-$updateCatTableIfTrue := true
+$updateCatTableIfTrue := false
++
$TranslateOnly := false
diff --git a/src/lisp/core.lisp.in b/src/lisp/core.lisp.in
index c3008c95..d9ea0578 100644
--- a/src/lisp/core.lisp.in
+++ b/src/lisp/core.lisp.in
@@ -140,6 +140,9 @@
;; -*- Hosting Lisp System -*-
;;
+(eval-when (:compile-toplevel :load-toplevel :execute)
+ (setq *load-verbose* nil))
+
;; True means that the base Lisp system uses conventional C-style
;; program linking model, whereby programs are constructed by linking
;; separately compiled units. By constrast, many Lisp systems build