From 75a336872123f18049bebfacac67a393257e147b Mon Sep 17 00:00:00 2001
From: pfdietz <pfdietz@localhost>
Date: Wed, 19 Feb 2003 01:14:52 +0000
Subject: [PATCH] Another cons subtypep test, this one 'three dimensionsal'.

---
 ansi-tests/subtypep-cons.lsp | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/ansi-tests/subtypep-cons.lsp b/ansi-tests/subtypep-cons.lsp
index b5063e83..fc5032af 100644
--- a/ansi-tests/subtypep-cons.lsp
+++ b/ansi-tests/subtypep-cons.lsp
@@ -62,3 +62,18 @@
 	(cons (integer 3 15) (integer 4 15)))
    '(cons (integer 0 15) (integer 0 15)))
   nil)
+
+(deftest subtypep.cons.8
+  (check-equivalence
+   '(or
+     (cons integer (cons symbol integer))
+     (cons symbol (cons integer symbol))
+     (cons symbol (cons symbol integer))
+     (cons symbol (cons integer integer))
+     (cons integer (cons integer symbol))
+     (cons symbol (cons symbol symbol))
+     (cons integer (cons integer integer))
+     (cons integer (cons symbol symbol)))
+   '(cons (or symbol integer)
+	  (cons (or symbol integer) (or symbol integer))))
+  nil)
-- 
GitLab