0.8.6.19:
authorChristophe Rhodes <csr21@cam.ac.uk>
Sun, 30 Nov 2003 16:08:48 +0000 (16:08 +0000)
committerChristophe Rhodes <csr21@cam.ac.uk>
Sun, 30 Nov 2003 16:08:48 +0000 (16:08 +0000)
commit9cf3dbee8c096c5ed739ae7afadff385f9c6a442
tree596eaa614905c8e4e02e78b367164ddb9cb0d1fa
parent3f321528f3da20ce000bb5e0d42bf5e204b3e696
0.8.6.19:
Fix for CONS.SUBTYPEP.xx from PFD's test suite
... more work in the CONS union method.

                      ALERT ALERT ALERT

this change reportedly makes PFD's random tester crawl, slowing it
by a factor of 15 on input terms (type specifiers) of size 50.
Options include
  * ignoring this;
  * having a cutoff in time or complexity beyond which we return
    NIL, NIL;
  * optimizing (NOT <cons>) some more;
  * ...
but at least it's slightly more correct now.
NEWS
src/code/late-type.lisp
version.lisp-expr