Commit [4d8378] Maximize Restore History

0.8alpha.0.4:

Canonicalize FUNCTION and VALUES types
... MAKE-FUN-TYPE and MAKE-VALUES-TYPE wrappers
... remove MAKE-VALUES-TYPE cache on grounds of it confusing me
... FUN-TYPE-NARGS needs to check to see if WILD-ARGS is set
[e.g. for LIST, defined as (FUNCTION (&REST T) LIST),
canonicalized to (FUNCTION * LIST)]

Ensure that FUN-TYPES and subtypes of FUNCTION aren't treated as
disjoint
... new type methods for FUNCTION :COMPLEX-{INTERSECT,UN}ION
Make the MAP/%MAP transform arglist look the same as their
DEFKNOWN
... not actually sure if this is necessary any more, but at one
point I got very strange errors without it.

Handle this one with slight care. I'm not 100% convined that
it's bulletproof, though it passes tests and builds itself
without complaint.

Christophe Rhodes Christophe Rhodes 2003-05-02

changed src/code/early-type.lisp
changed src/code/late-type.lisp
changed src/compiler/seqtran.lisp
changed tests/type.pure.lisp
changed NEWS
changed version.lisp-expr
src/code/early-type.lisp Diff Switch to side-by-side view
Loading...
src/code/late-type.lisp Diff Switch to side-by-side view
Loading...
src/compiler/seqtran.lisp Diff Switch to side-by-side view
Loading...
tests/type.pure.lisp Diff Switch to side-by-side view
Loading...
NEWS Diff Switch to side-by-side view
Loading...
version.lisp-expr Diff Switch to side-by-side view
Loading...