0.7.13.11:
authorChristophe Rhodes <csr21@cam.ac.uk>
Mon, 3 Mar 2003 11:16:04 +0000 (11:16 +0000)
committerChristophe Rhodes <csr21@cam.ac.uk>
Mon, 3 Mar 2003 11:16:04 +0000 (11:16 +0000)
commit3a8bfcb01abe4d8eeb9ef1343d623dbbf57c19d9
treefc370238e2491ab5215f9a2928bf5adaede80d51
parentca20672bfac54095ae593d1f7da0eccbc0bf6257
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!
src/code/class.lisp
src/code/late-type.lisp
src/code/type-class.lisp
tests/type.impure.lisp
tests/type.pure.lisp
version.lisp-expr