0.6.11.11:
authorWilliam Harold Newman <william.newman@airmail.net>
Sat, 3 Mar 2001 18:25:29 +0000 (18:25 +0000)
committerWilliam Harold Newman <william.newman@airmail.net>
Sat, 3 Mar 2001 18:25:29 +0000 (18:25 +0000)
commit467a8e5dba8bfa2598ca8e22c1204dc173ce556f
tree1320364f1bd6126fd9656be859191ad4db776af5
parent0b5610d8a220a4b20cbeac958953ca4d67c00038
0.6.11.11:
reduced code duplication code in FDEFINITION-OBJECT
defined *XTYPE?* to help support ongoing type experiments
started conditionally fully enabling INTERSECTION-TYPE
allowed HAIRY-TYPE elements in INTERSECTION-TYPEs after all,
since otherwise INTERSECTION-TYPE can't fix bug 12
redefined KEYWORD type as (AND SYMBOL (SATISFIES KEYWORDP))
added tests for bug 12 fixedness
src/code/deftypes-for-target.lisp
src/code/early-type.lisp
src/code/fdefinition.lisp
src/code/late-type.lisp
src/code/random.lisp
src/code/target-random.lisp
src/compiler/typetran.lisp
tests/type.impure.lisp
version.lisp-expr