* 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.

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