diff --git a/ansi-tests/subtypep.lsp b/ansi-tests/subtypep.lsp index e46221b9f9946aff157e2d48ff5da38fbed0f614..42801b46ea3bd0f7aa183a1f4b433682eb6e7542 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))