| commit | d052cf55544eb8c251146457d9245e8610e0a8f2 | |
| author | Christophe Rhodes <csr21@cam.ac.uk> | |
| Fri, 1 Sep 2006 14:57:29 +0000 (1 14:57 +0000) | ||
| committer | Christophe Rhodes <csr21@cam.ac.uk> | |
| Fri, 1 Sep 2006 14:57:29 +0000 (1 14:57 +0000) | ||
| tree | 6ea9eea1961b4d30b0fae97e39bbf2dbdca2107c | treesnapshot (tar.gz zip) |
| parent | f58928d7f3a60dedfa4b9306533232d7a4923c1c | commitdiff |
0.9.16.10:
Massage the new ARRAY :SIMPLE-UNION2 type method into a little
bit more of acceptability.
... now (or simple-string simple-array) is the same as
(or simple-array simple-string)
... really quite complicated unions still seem to work, judging
by ETYPECASE.15 and SUBTYPEP.OR.4
... include some simple test cases.
Massage the new ARRAY :SIMPLE-UNION2 type method into a little
bit more of acceptability.
... now (or simple-string simple-array) is the same as
(or simple-array simple-string)
... really quite complicated unions still seem to work, judging
by ETYPECASE.15 and SUBTYPEP.OR.4
... include some simple test cases.
| src/code/late-type.lisp | diffblobblamehistory | |
| tests/type.impure.lisp | diffblobblamehistory | |
| version.lisp-expr | diffblobblamehistory |