diff options
Diffstat (limited to 'tests/constraint.pure.lisp')
| -rw-r--r-- | tests/constraint.pure.lisp | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/tests/constraint.pure.lisp b/tests/constraint.pure.lisp index ceec0c5a0..350f09d7a 100644 --- a/tests/constraint.pure.lisp +++ b/tests/constraint.pure.lisp @@ -983,7 +983,17 @@ (lambda (x) (when (> (- 3 x) 10) x)) - (or real null))) + (or real null)) + (assert-type + (lambda (x) + (when (floatp (- x)) + x)) + (or float null)) + (assert-type + (lambda (x) + (when (typep (- x) '(integer 1 2)) + x)) + (or (integer -2 -1) null))) (with-test (:name :*back) (assert-type |