Update of /cvsroot/sbcl/sbcl
In directory usw-pr-cvs1:/tmp/cvs-serv24404
Modified Files:
BUGS NEWS version.lisp-expr
Log Message:
0.7.4.1:
Apply patch to type system (CSR sbcl-devel 2002-05-23) to generate
more useful types from intersections of complicated numeric
types;
Be more consistent over handling of wild pathnames to functions
expecting non-wild pathnames;
Apply two slight optimizations to array transforms;
Fix (from Pierre Mai) for BUG 140; treat with (slight) care, as this
removes an explicit request for non-invalidation of a wrapper,
which presumably had some reason for being there at one time.
Index: BUGS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.139
retrieving revision 1.140
diff -C2 -d -r1.139 -r1.140
*** BUGS 14 May 2002 04:27:34 -0000 1.139
--- BUGS 26 May 2002 15:00:21 -0000 1.140
***************
*** 261,265 ****
c: (COERCE 'AND 'FUNCTION) returns something related to
(MACRO-FUNCTION 'AND), but ANSI says it should raise an error.
- g: (LOAD "*.lsp") should signal FILE-ERROR.
h: (MAKE-CONCATENATED-STREAM (MAKE-STRING-OUTPUT-STREAM))
should signal TYPE-ERROR.
--- 261,264 ----
***************
*** 898,904 ****
much that it forgets that it's also an object.
- 126:
- (fixed in 0.pre7.41)
-
127:
The DEFSTRUCT section of the ANSI spec, in the :CONC-NAME section,
--- 897,900 ----
***************
*** 1004,1037 ****
"SB-INT:&MORE processor".
- 140:
- (reported by Alexey Dejneka sbcl-devel 2002-01-03)
-
- SUBTYPEP does not work well with redefined classes:
- ---
- * (defclass a () ())
- #<STANDARD-CLASS A>
- * (defclass b () ())
- #<STANDARD-CLASS B>
- * (subtypep 'b 'a)
- NIL
- T
- * (defclass b (a) ())
- #<STANDARD-CLASS B>
- * (subtypep 'b 'a)
- T
- T
- * (defclass b () ())
- #<STANDARD-CLASS B>
-
- ;;; And now...
- * (subtypep 'b 'a)
- T
- T
-
- This is probably due to underzealous clearing of the type caches; a
- brute-force solution in that case would be to make a defclass expand
- into something that included a call to SB-KERNEL::CLEAR-TYPE-CACHES,
- but there may be a better solution.
-
141:
Pretty-printing nested backquotes doesn't work right, as
--- 1000,1003 ----
***************
*** 1161,1167 ****
figured out how to reproduce).
- 155:
- (fixed in sbcl-0.7.2.9)
-
156:
FUNCTION-LAMBDA-EXPRESSION doesn't work right in 0.7.0 or 0.7.2.9:
--- 1127,1130 ----
***************
*** 1176,1189 ****
(reported by Alexey Dejneka sbcl-devel 2002-04-12)
- 158:
- Compiling the following code causes SBCL 0.7.2 to bug. This only
- happens with optimization enabled, and only when the loop variable is
- being incremented by more than 1.
- (defun foo (array)
- (declare (optimize (safety 0) (space 0) (debug 0) (speed 3)))
- (loop for i from 0 to 10 by 2
- do (foo (svref array i))) (svref array (1+ i)))
- (reported by Eric Marsden sbcl-devel 2002-04-15)
-
162:
(reported by Robert E. Brown 2002-04-16)
--- 1139,1142 ----
***************
*** 1206,1215 ****
implementation and GC conservatism between the X86 and other ports.)
- 164:
- The type system still can't quite deal with all useful identities;
- for instance, as of sbcl-0.7.2.18, the type specifier '(and (real -1
- 7) (real 4 8)) is a HAIRY-TYPE rather than that which would be hoped
- for, viz: '(real 4 7).
-
165:
Array types with element-types of some unknown type are falsely being
--- 1159,1162 ----
***************
*** 1303,1320 ****
But the code works as it should. Checked in 0.6.12.43 and later.
! 170:
! (reported by Matthias Hoelzl on sbcl-devel 2002-05-13)
! * (defmacro foo () ''x)
! FOO
! * (foo)
! X
! * (compile 'foo)
! FOO
! NIL
! NIL
! * (foo)
! debugger invoked on condition of type UNDEFINED-FUNCTION:
! The function FOO is undefined.
!
DEFUNCT CATEGORIES OF BUGS
--- 1250,1257 ----
But the code works as it should. Checked in 0.6.12.43 and later.
! 171:
! (reported by Pierre Mai while investigating bug 47):
! (DEFCLASS FOO () ((A :SILLY T)))
! signals a SIMPLE-ERROR, not a PROGRAM-ERROR.
DEFUNCT CATEGORIES OF BUGS
Index: NEWS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/NEWS,v
retrieving revision 1.126
retrieving revision 1.127
diff -C2 -d -r1.126 -r1.127
*** NEWS 24 May 2002 20:04:06 -0000 1.126
--- NEWS 26 May 2002 15:00:22 -0000 1.127
***************
*** 1127,1130 ****
--- 1127,1137 ----
|AB|, instead of A as it used to.
+ changes in sbcl-0.7.5 relative to sbcl-0.7.4:
+ * bug 140 fixed: redefinition of classes with different supertypes
+ is now reflected in the type hierarchy. (thanks to Pierre Mai)
+ * minor incompatible change: The LOAD function no longer, when given
+ a wild pathname to load, loads all files matching that pathname;
+ instead, an error of type FILE-ERROR is signalled.
+
planned incompatible changes in 0.7.x:
* When the profiling interface settles down, maybe in 0.7.x, maybe
Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.419
retrieving revision 1.420
diff -C2 -d -r1.419 -r1.420
*** version.lisp-expr 24 May 2002 20:04:06 -0000 1.419
--- version.lisp-expr 26 May 2002 15:00:22 -0000 1.420
***************
*** 19,21 ****
;;; main CVS branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
! "0.7.4"
--- 19,21 ----
;;; main CVS branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
! "0.7.4.1"
|