diff options
| author | William Harold Newman <william.newman@airmail.net> | 2001-03-21 21:47:36 +0000 |
|---|---|---|
| committer | William Harold Newman <william.newman@airmail.net> | 2001-03-21 21:47:36 +0000 |
| commit | 5470bfd1ed062203f4ab009f6ec19e81f8f32066 (patch) | |
| tree | 067298b02b3b06172aa5358ac52fcce64d27b2d9 /tests/type.before-xc.lisp | |
| parent | 22217256264c3a7af7dc03b9ffb1dd72a0c25368 (diff) | |
0.6.11.22:
made REAL and FLOAT types be represented by UNION-TYPEs, to
fix the bug discussed on cmucl-imp as "bug in type
handling" ca. 2001-02-12
made COMPLEX type translator able to deal with new REAL and
FLOAT representations
enabled old commented-out type tests now that they can work
Diffstat (limited to 'tests/type.before-xc.lisp')
| -rw-r--r-- | tests/type.before-xc.lisp | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tests/type.before-xc.lisp b/tests/type.before-xc.lisp index 59d1d82f7..7bc61c5df 100644 --- a/tests/type.before-xc.lisp +++ b/tests/type.before-xc.lisp @@ -201,5 +201,15 @@ (assert (type= isect (type-intersection type2 type1 type2))) (assert (type= isect (type-intersection type1 type1 type2 type1))) (assert (type= isect (type-intersection type1 type2 type1 type2)))) +(assert (csubtypep (specifier-type '(or (single-float -1.0 1.0) + (single-float 0.1))) + (specifier-type '(or (real -1 7) + (single-float 0.1) + (single-float -1.0 1.0))))) +(assert (not (csubtypep (specifier-type '(or (real -1 7) + (single-float 0.1) + (single-float -1.0 1.0))) + (specifier-type '(or (single-float -1.0 1.0) + (single-float 0.1)))))) (/show "done with tests/type.before-xc.lisp") |