From 4609b7d5f0502f78544182d71516e85c692f13bd Mon Sep 17 00:00:00 2001 From: pfdietz <pfdietz@localhost> Date: Tue, 4 Mar 2003 13:38:11 +0000 Subject: [PATCH] Added a couple of extended-char tests. --- ansi-tests/subtypep.lsp | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/ansi-tests/subtypep.lsp b/ansi-tests/subtypep.lsp index e46221b9..42801b46 100644 --- a/ansi-tests/subtypep.lsp +++ b/ansi-tests/subtypep.lsp @@ -111,12 +111,27 @@ (subtypep* 'simple-bit-vector 'simple-vector) nil t) +;;; Extended characters + (deftest subtypep.extended-char.1 (if (subtypep* 'character 'base-char) (subtypep* 'extended-char nil) (values t t)) t t) +(deftest subtypep.extended-char.2 + (if (subtypep* 'extended-char nil) + (subtypep* 'character 'base-char) + (values t t)) + t t) + +(deftest subtypep.extended-char.3 + (check-equivalence 'extended-char '(and character (not base-char))) + nil) + + +;;; Some and, or combinations + (deftest subtypep.and/or.1 (check-equivalence '(and (or symbol (integer 0 15)) -- GitLab