From c5c6d7543029742e51c3f5f751aec9065e144c5a Mon Sep 17 00:00:00 2001 From: pfdietz <pfdietz@localhost> Date: Wed, 26 Feb 2003 10:09:19 +0000 Subject: [PATCH] Added tests for TYPEP on EQL types. These illustrate a bug in gcl. --- ansi-tests/types-and-class.lsp | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/ansi-tests/types-and-class.lsp b/ansi-tests/types-and-class.lsp index 4f3b236a..8918ce1d 100644 --- a/ansi-tests/types-and-class.lsp +++ b/ansi-tests/types-and-class.lsp @@ -335,3 +335,29 @@ (notnot-mv (typep env (type-of env))))) (%foo)) t) + +;;; Other typep tests + +(deftest typep.1 + (notnot-mv (typep 'a '(eql a))) + t) + +(deftest typep.2 + (notnot-mv (typep 'a '(and (eql a)))) + t) + +(deftest typep.3 + (notnot-mv (typep 'a '(or (eql a)))) + t) + +(deftest typep.4 + (typep 'a '(eql b)) + nil) + +(deftest typep.5 + (typep 'a '(and (eql b))) + nil) + +(deftest typep.6 + (typep 'a '(or (eql b))) + nil) -- GitLab