CVS: sbcl BUGS,1.222,1.223 make-target-2.sh,1.13,1.14 package-data-list.lisp-expr,1.183,1.184 version.lisp-expr,1.614,1.615

Update of /cvsroot/sbcl/sbcl
In directory usw-pr-cvs1:/tmp/cvs-serv11544

Modified Files:
        BUGS make-target-2.sh package-data-list.lisp-expr 
        version.lisp-expr 
Log Message:
0.7.9.6:
        Fix bug 185 (top level forms at the REPL)
        ... implement a LOCALLY method for EVAL-IN-LEXENV
        ... factor out MACROLET-DEFINITIONIZE-FUN and
                SYMBOL-MACROLET-DEFINITIONIZE-FUN from the IR1
                translators for same
        ... implement SYMBOL-MACROLET and MACROLET for EVAL-IN-LEXENV
                in terms of said DEFINITIONIZE-FUN macros and LOCALLY
        ... set compilation policy in make-target-2 to avoid file scope
                limitations
        ... set interaction policy by hard-coding it in
                MAKE-NULL-INTERACTIVE-LEXENV
        ... throw it together and hope it all still works.


Index: BUGS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.222
retrieving revision 1.223
diff -u -d -r1.222 -r1.223
--- BUGS        27 Oct 2002 05:04:46 -0000      1.222
+++ BUGS        27 Oct 2002 14:52:48 -0000      1.223
@@ -979,14 +979,6 @@
           :ACCRUED-EXCEPTIONS (:INEXACT)
           :FAST-MODE NIL)
 
-185: "top-level forms at the REPL"
-  * (locally (defstruct foo (a 0 :type fixnum)))
-  gives an error:
-  ; caught ERROR:
-  ;   (in macroexpansion of (SB-KERNEL::%DELAYED-GET-COMPILER-LAYOUT BAR))
-  however, compiling and loading the same expression in a file works
-  as expected.
-
 187: "type inference confusion around DEFTRANSFORM time"
   (reported even more verbosely on sbcl-devel 2002-06-28 as "strange
   bug in DEFTRANSFORM")
@@ -1386,6 +1378,22 @@
   (defun test (x y) (the (values integer) (truncate x y)))
   (test 10 4) => 2
 
+219: "DEFINE-COMPILER-MACRO in non-toplevel contexts evaluated at compile-time"
+  In sbcl-0.7.9:
+
+  * (defun foo (x) 
+      (when x
+        (define-compiler-macro bar (&whole whole)
+          (declare (ignore whole))
+          (print "expanding compiler macro")
+          1)))
+  FOO
+  * (defun baz (x) (bar))
+  [ ... ]
+  "expanding compiler macro"
+  BAZ
+  * (baz t)
+  1
 
 DEFUNCT CATEGORIES OF BUGS
   IR1-#:

Index: make-target-2.sh
===================================================================
RCS file: /cvsroot/sbcl/sbcl/make-target-2.sh,v
retrieving revision 1.13
retrieving revision 1.14
diff -u -d -r1.13 -r1.14
--- make-target-2.sh    1 Nov 2001 20:24:55 -0000       1.13
+++ make-target-2.sh    27 Oct 2002 14:52:48 -0000      1.14
@@ -67,6 +67,17 @@
          (sb-int:/show "done with warm.lisp, about to GC :FULL T")
          (gc :full t))
 
+        ;; resetting compilation policy to neutral values in
+        ;; preparation for SAVE-LISP-AND-DIE as final SBCL core (not
+        ;; in warm.lisp because SB-C::*POLICY* has file scope)
+        (sb-int:/show "setting compilation policy to neutral values")
+        (proclaim '(optimize (compilation-speed 1)
+                            (debug 1)
+                            (inhibit-warnings 1)
+                            (safety 1)
+                            (space 1)
+                            (speed 1)))
+
         (sb-int:/show "done with warm.lisp, about to SAVE-LISP-AND-DIE")
        ;; Even if /SHOW output was wanted during build, it's probably
        ;; not wanted by default after build is complete. (And if it's

Index: package-data-list.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/package-data-list.lisp-expr,v
retrieving revision 1.183
retrieving revision 1.184
diff -u -d -r1.183 -r1.184
--- package-data-list.lisp-expr 14 Oct 2002 06:59:20 -0000      1.183
+++ package-data-list.lisp-expr 27 Oct 2002 14:52:48 -0000      1.184
@@ -1097,7 +1097,8 @@
              "MAKE-KEY-INFO" "MAKE-LISP-OBJ"
             #!+long-float "MAKE-LONG-FLOAT"
              "MAKE-MEMBER-TYPE" "MAKE-NAMED-TYPE"
-             "MAKE-NULL-LEXENV" "MAKE-NUMERIC-TYPE"
+             "MAKE-NULL-LEXENV" "MAKE-NULL-INTERACTIVE-LEXENV"
+            "MAKE-NUMERIC-TYPE"
              "MAKE-SINGLE-FLOAT" "MAKE-SPECIALIZABLE-ARRAY"
              "%MAKE-INSTANCE"
             "MAKE-VALUE-CELL"

Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.614
retrieving revision 1.615
diff -u -d -r1.614 -r1.615
--- version.lisp-expr   27 Oct 2002 05:04:46 -0000      1.614
+++ version.lisp-expr   27 Oct 2002 14:52:48 -0000      1.615
@@ -18,4 +18,4 @@
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
 
-"0.7.9.5"
+"0.7.9.6"



-------------------------------------------------------
This SF.net email is sponsored by: ApacheCon, November 18-21 in
Las Vegas (supported by COMDEX), the only Apache event to be
fully supported by the ASF. http://www.apachecon.com