From f5dc5f4230e61f46c7db00aa330635e963b7c9e4 Mon Sep 17 00:00:00 2001
From: pfdietz <pfdietz@localhost>
Date: Mon, 24 Feb 2003 11:20:50 +0000
Subject: [PATCH] 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.

---
 ansi-tests/load-types-and-class.lsp | 2 +-
 ansi-tests/subtypep-cons.lsp        | 9 +++++++++
 2 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/ansi-tests/load-types-and-class.lsp b/ansi-tests/load-types-and-class.lsp
index 2e0465a7..05023d17 100644
--- a/ansi-tests/load-types-and-class.lsp
+++ b/ansi-tests/load-types-and-class.lsp
@@ -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")
diff --git a/ansi-tests/subtypep-cons.lsp b/ansi-tests/subtypep-cons.lsp
index a37be83c..34f1de64 100644
--- a/ansi-tests/subtypep-cons.lsp
+++ b/ansi-tests/subtypep-cons.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)
-- 
GitLab