From 53bf853d17148de8b347d901552c709c4fc17d43 Mon Sep 17 00:00:00 2001 From: pfdietz <pfdietz@localhost> Date: Wed, 19 Feb 2003 02:30:28 +0000 Subject: [PATCH] Added another cons subtypep test, this one using OR and INTEGER range types, decomposing a square into five nonoverlapping rectangular pieces. --- ansi-tests/subtypep-cons.lsp | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/ansi-tests/subtypep-cons.lsp b/ansi-tests/subtypep-cons.lsp index fc5032af..e7d3aeaa 100644 --- a/ansi-tests/subtypep-cons.lsp +++ b/ansi-tests/subtypep-cons.lsp @@ -77,3 +77,14 @@ '(cons (or symbol integer) (cons (or symbol integer) (or symbol integer)))) nil) + +(deftest subtypep.cons.9 + (check-equivalence + '(or + (cons (integer 0 (3)) (integer 0 (6))) + (cons (integer 3 (9)) (integer 0 (3))) + (cons (integer 0 (6)) (integer 6 (9))) + (cons (integer 6 (9)) (integer 3 (9))) + (cons (integer 3 (6)) (integer 3 (6)))) + '(cons (integer 0 (9)) (integer 0 (9)))) + nil) -- GitLab