From: Christophe R. <cr...@us...> - 2003-03-03 11:16:09
|
Update of /cvsroot/sbcl/sbcl In directory sc8-pr-cvs1:/tmp/cvs-serv4199 Modified Files: version.lisp-expr Log Message: 0.7.13.11: Merge "type system insanity" (CSR sbcl-devel 2002-03-01) ... extend INVOKE-COMPLEX-SUBTYPEP-ARG1-METHOD to take return values for the case that no next method is found ... define and use (once!) equivalent logic for COMPLEX-= ... be more uncertain on intersections of class types, since we create them when we don't know enough to canonicalize ... various other cases demand more uncertainty, too (e.g. intersections involving HAIRY-TYPEs) No known failures inherent to the type system! Index: version.lisp-expr =================================================================== RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v retrieving revision 1.800 retrieving revision 1.801 diff -u -d -r1.800 -r1.801 --- version.lisp-expr 3 Mar 2003 09:16:40 -0000 1.800 +++ version.lisp-expr 3 Mar 2003 11:16:04 -0000 1.801 @@ -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.13.10" +"0.7.13.11" |