projects
/
sbcl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
0.8alpha.0.4:
[sbcl.git]
/
tests
/
type.pure.lisp
diff --git
a/tests/type.pure.lisp
b/tests/type.pure.lisp
index
fd8409e
..
b97a0e9
100644
(file)
--- a/
tests/type.pure.lisp
+++ b/
tests/type.pure.lisp
@@
-169,7
+169,6
@@
(subtypep '(function)
'(function (t &rest t))))
'(nil t)))
(subtypep '(function)
'(function (t &rest t))))
'(nil t)))
-#+nil
(assert (and (subtypep 'function '(function))
(subtypep '(function) 'function)))
(assert (and (subtypep 'function '(function))
(subtypep '(function) 'function)))
@@
-199,4
+198,7
@@
(cons bignum single-float))
'(cons single-float single-float))))
(assert (subtypep '(cons integer single-float)
(cons bignum single-float))
'(cons single-float single-float))))
(assert (subtypep '(cons integer single-float)
- '(or (cons fixnum single-float) (cons bignum single-float))))
\ No newline at end of file
+ '(or (cons fixnum single-float) (cons bignum single-float))))
+
+(assert (not (nth-value 1 (subtypep '(and null some-unknown-type)
+ 'another-unknown-type))))