Commit f5dc5f42 authored by pfdietz's avatar pfdietz

Added another test for SUBTYPEP on cons types, recommended by Christophe...

Added another test for SUBTYPEP on cons types, recommended by Christophe Rhodes.  Disabled the subtypep cons tests for Lispworks, since they were making it die painfully.
parent bf5cb126
......@@ -8,6 +8,6 @@
(load "subtypep-float.lsp")
(load "subtypep-rational.lsp")
(load "subtypep-real.lsp")
(load "subtypep-cons.lsp")
#-lispworks (load "subtypep-cons.lsp")
(load "subtypep-member.lsp")
(load "subtypep-eql.lsp")
......@@ -110,3 +110,12 @@
(cons (real 3 (6)) (real 3 (6))))
'(cons (real 0 (9)) (real 0 (9))))
nil)
;;; Test suggested by C.R.
(deftest subtypep.cons.12
(check-all-not-subtypep
'(cons (or integer symbol)
(or integer symbol))
'(or (cons integer symbol)
(cons symbol integer)))
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