0.9.3.37:
authorChristophe Rhodes <csr21@cam.ac.uk>
Wed, 10 Aug 2005 15:10:18 +0000 (15:10 +0000)
committerChristophe Rhodes <csr21@cam.ac.uk>
Wed, 10 Aug 2005 15:10:18 +0000 (15:10 +0000)
commit1cf230d59a80f5fba3b90b929e6ab61e9a6fbe84
treeaca9b7b3870d149b3ddb4cb78e18edb092e48982
parentc364434c07423e4b033f286397667b3fe0310e97
0.9.3.37:
Fix a pair of bugs relating to cons types, noted by Brian
Mastenbrook (chandler on #lisp) in paste
http://paste.lisp.org/display/10664
... named :complex-=/:complex-subtypep needs to realise that
CONS types can be *EMPTY-TYPE* (but no other type)
in disguise;
... cons :simple-subtypep was just plain wrong when computing
its certainty value.
NEWS
src/code/late-type.lisp
tests/type.pure.lisp
version.lisp-expr