Skip to content
Snippets Groups Projects
Commit fe604c98 authored by pfdietz's avatar pfdietz
Browse files

More sbcl type prop failures with COERCE

parent 9fa9c018
No related branches found
No related tags found
No related merge requests found
...@@ -11605,4 +11605,34 @@ Broken at C::WT-MAKE-CLOSURE. ...@@ -11605,4 +11605,34 @@ Broken at C::WT-MAKE-CLOSURE.
(funcall (compile nil form) 'integer)) (funcall (compile nil form) 'integer))
523242) 523242)
;;; The symbol AND is not valid as a type specifier
(deftest misc.650
(let ((form '(lambda (p2)
(declare (optimize (speed 0) (safety 2) (debug 0) (space 2))
(type (member integer and) p2))
(coerce -12 (the atom p2)))))
(funcall (compile nil form) 'integer))
-12)
;;; The symbol OR is not valid as a type specifier
(deftest misc.651
(let ((form '(lambda (p2)
(declare (optimize (speed 0) (safety 2) (debug 0) (space 2))
(type (member integer or) p2))
(coerce 1 (the atom p2)))))
(funcall (compile nil form) 'integer))
1)
;;; The symbol NOT is not valid as a type specifier.
(deftest misc.652
(let ((form '(lambda (p2)
(declare (optimize (speed 0) (safety 2) (debug 0) (space 2))
(type (member integer not) p2))
(coerce 2 (the atom p2)))))
(funcall (compile nil form) 'integer))
2)
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment