Update of /cvsroot/sbcl/sbcl
In directory usw-pr-cvs1:/tmp/cvs-serv24288
Modified Files:
BUGS version.lisp-expr
Log Message:
0.7.2.18:
Merge CSR "More type hacking" sbcl-devel 2002-04-10
... don't include request for explanation (as WHN explained)
... do cross-type of complex complex specifiers conservatively
Index: BUGS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.131
retrieving revision 1.132
diff -C2 -d -r1.131 -r1.132
*** BUGS 19 Apr 2002 10:50:13 -0000 1.131
--- BUGS 19 Apr 2002 16:27:19 -0000 1.132
***************
*** 595,610 ****
than SBCL does.
- 91:
- (subtypep '(or (integer -1 1)
- unsigned-byte)
- '(or (rational -1 7)
- unsigned-byte
- (integer -1 1))) => NIL,T
- An analogous problem with SINGLE-FLOAT and REAL types was fixed in
- sbcl-0.6.11.22, but some peculiarites of the RATIO type make it
- awkward to generalize the fix to INTEGER and RATIONAL. It's not
- clear what's the best fix. (See the "bug in type handling" discussion
- on cmucl-imp ca. 2001-03-22 and ca. 2001-02-12.)
-
94a:
Inconsistencies between derived and declared VALUES return types for
--- 595,598 ----
***************
*** 1253,1263 ****
155:
! Executing
! (defclass standard-gadget (basic-gadget) ())
! (defclass basic-gadget () ())
! gives an error:
! The slot SB-PCL::DIRECT-SUPERCLASSES is unbound in the
! object #<SB-PCL::STANDARD-CLASS "unbound">.
! (reported by Brian Spilsbury sbcl-devel 2002-04-09)
156:
--- 1241,1245 ----
155:
! (fixed in sbcl-0.7.2.9)
156:
***************
*** 1307,1310 ****
--- 1289,1299 ----
treated as a valid host by anything else in the system. (Reported by
Erik Naggum on comp.lang.lisp 2002-04-18)
+
+ 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).
+
DEFUNCT CATEGORIES OF BUGS
Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.391
retrieving revision 1.392
diff -C2 -d -r1.391 -r1.392
*** version.lisp-expr 19 Apr 2002 10:50:14 -0000 1.391
--- version.lisp-expr 19 Apr 2002 16:27:20 -0000 1.392
***************
*** 19,21 ****
;;; main CVS branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
! "0.7.2.17"
--- 19,21 ----
;;; main CVS branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
! "0.7.2.18"
|