Commit d3c02466 authored by pfdietz's avatar pfdietz
Browse files

Added some tests motivated by a bug in sbcl.

parent a3fa6894
......@@ -200,3 +200,15 @@
(not (cons (eql c) (eql z)))))
nil)
;;; Test case that came up in SBCL
(deftest subtypep.cons.21
(check-all-subtypep
'(cons integer single-float)
'(or (cons fixnum single-float) (cons bignum single-float)))
nil)
(deftest subtypep.cons.22
(check-all-subtypep
'(cons single-float integer)
'(or (cons single-float fixnum) (cons single-float bignum)))
nil)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment