Update of /cvsroot/sbcl/sbcl/tests
In directory sc8-pr-cvs1:/tmp/cvs-serv26353/tests
Modified Files:
compiler.pure.lisp print.impure.lisp
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: compiler.pure.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/tests/compiler.pure.lisp,v
retrieving revision 1.38
retrieving revision 1.39
diff -u -d -r1.38 -r1.39
--- compiler.pure.lisp 27 May 2003 08:35:54 -0000 1.38
+++ compiler.pure.lisp 30 May 2003 10:44:12 -0000 1.39
@@ -326,8 +326,8 @@
(loop for (fun warns-p) in
'(((lambda (&optional *x*) *x*) t)
((lambda (&optional *x* &rest y) (values *x* y)) t)
- ((lambda (&optional *print-base*) (values *print-base*)) nil)
- ((lambda (&optional *print-base* &rest y) (values *print-base* y)) nil)
+ ((lambda (&optional *print-length*) (values *print-length*)) nil)
+ ((lambda (&optional *print-length* &rest y) (values *print-length* y)) nil)
((lambda (&optional *x*) (declare (special *x*)) (values *x*)) nil)
((lambda (&optional *x* &rest y) (declare (special *x*)) (values *x* y)) nil))
for real-warns-p = (nth-value 1 (compile nil fun))
Index: print.impure.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/tests/print.impure.lisp,v
retrieving revision 1.10
retrieving revision 1.11
diff -u -d -r1.10 -r1.11
--- print.impure.lisp 8 Jan 2003 10:59:12 -0000 1.10
+++ print.impure.lisp 30 May 2003 10:44:12 -0000 1.11
@@ -48,10 +48,10 @@
;;; This was a bug in SBCL until 0.6.12.40 (originally reported as a
;;; CMU CL bug by Erik Naggum on comp.lang.lisp).
-(loop for *print-base* from 2 to 36
+(loop for base from 2 to 36
with *print-radix* = t
- do
- (assert (string= "#*101" (format nil "~S" #*101))))
+ do (let ((*print-base* base))
+ (assert (string= "#*101" (format nil "~S" #*101)))))
;;; bug in sbcl-0.7.1.25, reported by DB sbcl-devel 2002-02-25
(assert (string= "0.5" (format nil "~2D" 0.5)))
|