0.9.16.1:
authorChristophe Rhodes <csr21@cam.ac.uk>
Mon, 28 Aug 2006 12:08:19 +0000 (12:08 +0000)
committerChristophe Rhodes <csr21@cam.ac.uk>
Mon, 28 Aug 2006 12:08:19 +0000 (12:08 +0000)
commitcb43defd8ce791c9c5a8302c0bca20fcd1b60749
tree4b8a6999e7124640afccf073a981f23804119a10
parent6d26ba9710dfff06f30ebc121bff39b1f0112f07
0.9.16.1:
Rework the named :complex-intersection-arg2 method for instance
and funcallable-instance, making it a lot clearer and fixing
bugs in the process...
... structure-classoids are always subtypep instance and never
intersect funcallable-instance;
... standard-classoids are different.  It's possible to make
a subclass of an instance class which is
funcallable-instance (if you pardon the loose
construction), while the reverse is not possible.
src/code/late-type.lisp
tests/type.impure.lisp
version.lisp-expr