diff --git a/ansi-tests/subtypep-array.lsp b/ansi-tests/subtypep-array.lsp index 31dd86bc7e6cf4faadeef0d64231b278b869ee7c..42502c04e9d7b269cc0d30b69cddc1fc6a390587 100644 --- a/ansi-tests/subtypep-array.lsp +++ b/ansi-tests/subtypep-array.lsp @@ -124,6 +124,17 @@ (subtypep* '(array t nil) 'integer) nil t) +(deftest subtypep.array.11 + (subtypep* '(array t nil) '(array t (*))) + nil t) + +(deftest subtypep.array.12 + (subtypep* '(array t nil) '(array t 1)) + nil t) + +(deftest subtypep.array.13 + (subtypep* '(array bit nil) '(array bit 1)) + nil t) ;;;; Tests on the definitions of various vector types