Update of /cvsroot/sbcl/sbcl
In directory sc8-pr-cvs1:/tmp/cvs-serv26353
Modified Files:
NEWS build-order.lisp-expr package-data-list.lisp-expr
version.lisp-expr
Log Message:
0.8.0.19:
No-one's complained, so merge CSR patch "Type checking on global
variables" (sbcl-devel 2003-05-27)
... fix SB-XC:PROCLAIM to queue up TYPE and FTYPE proclamations
when the system isn't initialized, and then reproclaim them
later;
... fix EVAL to punt to the compiler if there's a type proclamation
for FOO in (SETQ FOO ...);
... proclaim the types of the various CL:*FOO* variables, according
to the CLHS;
... fix two instances of undefined behaviour in the test suite. :-)
Index: NEWS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/NEWS,v
retrieving revision 1.316
retrieving revision 1.317
diff -u -d -r1.316 -r1.317
--- NEWS 30 May 2003 09:39:21 -0000 1.316
+++ NEWS 30 May 2003 10:44:10 -0000 1.317
@@ -1772,6 +1772,10 @@
* minor incompatible change: some nonsensical specialized lambda
lists (used in DEFMETHOD) which were previously ignored now signal
errors.
+ * minor incompatible change: the system is now aware of the types of
+ variables in the COMMON-LISP package, and will signal errors for
+ most violations of these type constraints (where previously they
+ were silently accepted).
* changes in type checking closed the following bugs:
** type checking of unused values (192b, 194d, 203);
** template selection based on unsafe type assertions (192c, 236);
Index: build-order.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/build-order.lisp-expr,v
retrieving revision 1.31
retrieving revision 1.32
diff -u -d -r1.31 -r1.32
--- build-order.lisp-expr 25 May 2003 22:34:23 -0000 1.31
+++ build-order.lisp-expr 30 May 2003 10:44:10 -0000 1.32
@@ -649,6 +649,10 @@
;; DEFVAR or DEFPARAMETER.
("src/code/cl-specials")
+ ;; FIXME: here? earlier? can probably be as late as possible. Also
+ ;; maybe call it FORCE-DELAYED-PROCLAIMS?
+ ("src/compiler/late-proclaim")
+
;; fundamental target macros (e.g. CL:DO and CL:DEFUN) and support
;; for them
("src/code/defboot")
Index: package-data-list.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/package-data-list.lisp-expr,v
retrieving revision 1.221
retrieving revision 1.222
diff -u -d -r1.221 -r1.222
--- package-data-list.lisp-expr 27 May 2003 13:32:12 -0000 1.221
+++ package-data-list.lisp-expr 30 May 2003 10:44:10 -0000 1.222
@@ -1393,6 +1393,7 @@
"!PACKAGE-COLD-INIT" "SIGNAL-COLD-INIT-OR-REINIT"
"!POLICY-COLD-INIT-OR-RESANIFY" "!VM-TYPE-COLD-INIT"
"!BACKQ-COLD-INIT" "!SHARPM-COLD-INIT"
+ "!EARLY-PROCLAIM-COLD-INIT" "!LATE-PROCLAIM-COLD-INIT"
"!CLASS-FINALIZE" "GC-REINIT"
;; Note: These are out of lexicographical order because in CMU CL
Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.1007
retrieving revision 1.1008
diff -u -d -r1.1007 -r1.1008
--- version.lisp-expr 30 May 2003 09:39:22 -0000 1.1007
+++ version.lisp-expr 30 May 2003 10:44:10 -0000 1.1008
@@ -17,4 +17,4 @@
;;; checkins which aren't released. (And occasionally for internal
;;; versions, especially for internal versions off the main CVS
;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"0.8.0.18"
+"0.8.0.19"
|