0.8.0.62:
authorChristophe Rhodes <csr21@cam.ac.uk>
Wed, 11 Jun 2003 09:11:42 +0000 (09:11 +0000)
committerChristophe Rhodes <csr21@cam.ac.uk>
Wed, 11 Jun 2003 09:11:42 +0000 (09:11 +0000)
commit8871a1f72225f959a454a1b77f7a0e85642ba427
treeaa75de3ea12017b0c136275aa2c28f0e31241e9b
parent47da3aec921176b189868519273b5bddb8bcc737
0.8.0.62:
Better error reporting for bad types:
... signal a simple-error on bare AND, OR, MEMBER or VALUES.
... when within the compiler, handle argument count mismatch
errors within CAREFUL-[VALUES-]SPECIFIER-TYPE.
... (DEFTYPE FOO () 'FIXNUM) (TYPEP 11 'FOO) (TYPEP 11 '(FOO))
is legal.
BUGS
NEWS
src/code/early-type.lisp
src/compiler/ir1util.lisp
tests/type.impure.lisp
version.lisp-expr