0.8.13.77.character.2:
commit5e503d9edf72e0339a61a4c3f631c7acf0033d21
authorChristophe Rhodes <csr21@cam.ac.uk>
Mon, 23 Aug 2004 22:54:10 +0000 (23 22:54 +0000)
committerChristophe Rhodes <csr21@cam.ac.uk>
Mon, 23 Aug 2004 22:54:10 +0000 (23 22:54 +0000)
tree4783cef70936f0c0f6dca0e485755432e9b1582a
parent08f7c3af88b9ca7c97b7a127c61a575b9662cf28
0.8.13.77.character.2:
"Pull your socks up"

Zeroth draft of teaching the type system about character sets:
implement CHARACTER subtypes as CHARACTER-RANGE.
... builds, passes all tests, builds all contribs;
... zeroth draft because it makes types such as
(member #\a #\c #\e) unparse uglily.  Probably I
actually want a CHARACTER-SET representation
12 files changed:
package-data-list.lisp-expr
src/code/class.lisp
src/code/cross-type.lisp
src/code/early-type.lisp
src/code/late-type.lisp
src/code/target-type.lisp
src/code/typecheckfuns.lisp
src/code/typep.lisp
src/compiler/generic/primtype.lisp
src/compiler/typetran.lisp
tests/type.before-xc.lisp
version.lisp-expr