Commit e6a59b6f authored by pfdietz's avatar pfdietz
Browse files

More annotations for (vector nil) tests.

parent eb9f2878
...@@ -38,15 +38,18 @@ ...@@ -38,15 +38,18 @@
(type-error () :caught))) (type-error () :caught)))
t) t)
(deftest string.8 (deftest string.8
:notes (:nil-vectors-are-strings)
(subtypep* '(array nil (*)) 'string) (subtypep* '(array nil (*)) 'string)
t t) t t)
(deftest string.9 (deftest string.9
:notes (:nil-vectors-are-strings)
(subtypep* '(array nil 1) 'string) (subtypep* '(array nil 1) 'string)
t t) t t)
(deftest string.10 (deftest string.10
:notes (:nil-vectors-are-strings)
(string (make-array '(0) :element-type nil)) (string (make-array '(0) :element-type nil))
"") "")
...@@ -59,6 +62,7 @@ ...@@ -59,6 +62,7 @@
t) t)
(deftest string.13 (deftest string.13
:notes (:nil-vectors-are-strings)
(typep* (make-array '(0) :element-type nil) 'string) (typep* (make-array '(0) :element-type nil) 'string)
t) t)
...@@ -130,15 +134,18 @@ ...@@ -130,15 +134,18 @@
(subtypep* 'simple-string 'simple-base-string) (subtypep* 'simple-string 'simple-base-string)
nil t) nil t)
(deftest simple-string.11 (deftest simple-string.11
:notes (:nil-vectors-are-strings)
(subtypep* '(simple-array nil (*)) 'simple-string) (subtypep* '(simple-array nil (*)) 'simple-string)
t t) t t)
(deftest simple-string.12 (deftest simple-string.12
:notes (:nil-vectors-are-strings)
(typep* (make-array '(0) :element-type nil) 'simple-string) (typep* (make-array '(0) :element-type nil) 'simple-string)
t) t)
(deftest simple-string.13 (deftest simple-string.13
:notes (:nil-vectors-are-strings)
(typep* (make-array '(12) :element-type nil) 'simple-string) (typep* (make-array '(12) :element-type nil) 'simple-string)
t) t)
...@@ -235,10 +242,12 @@ ...@@ -235,10 +242,12 @@
nil) nil)
(deftest simple-string-p.8 (deftest simple-string-p.8
:notes (:nil-vectors-are-strings)
(notnot-mv (simple-string-p (make-array '(0) :element-type nil))) (notnot-mv (simple-string-p (make-array '(0) :element-type nil)))
t) t)
(deftest simple-string-p.9 (deftest simple-string-p.9
:notes (:nil-vectors-are-strings)
(notnot-mv (simple-string-p (make-array '(37) :element-type nil))) (notnot-mv (simple-string-p (make-array '(37) :element-type nil)))
t) t)
...@@ -288,9 +297,11 @@ ...@@ -288,9 +297,11 @@
t) t)
(deftest stringp.9 (deftest stringp.9
:notes (:nil-vectors-are-strings)
(notnot-mv (stringp (make-array '(0) :element-type nil))) (notnot-mv (stringp (make-array '(0) :element-type nil)))
t) t)
(deftest stringp.10 (deftest stringp.10
:notes (:nil-vectors-are-strings)
(notnot-mv (stringp (make-array '(37) :element-type nil))) (notnot-mv (stringp (make-array '(37) :element-type nil)))
t) t)
...@@ -99,6 +99,7 @@ ...@@ -99,6 +99,7 @@
;;;; Tests on the definitions of various vector types ;;;; Tests on the definitions of various vector types
(deftest string-is-not-vector-of-character.1 (deftest string-is-not-vector-of-character.1
:notes (:nil-vectors-are-strings)
(subtypep* 'string '(vector character)) (subtypep* 'string '(vector character))
nil t) nil t)
...@@ -107,6 +108,7 @@ ...@@ -107,6 +108,7 @@
t t) t t)
(deftest string-is-not-vector-of-character.3 (deftest string-is-not-vector-of-character.3
:notes (:nil-vectors-are-strings)
(subtypep* '(string *) '(vector character)) (subtypep* '(string *) '(vector character))
nil t) nil t)
...@@ -115,6 +117,7 @@ ...@@ -115,6 +117,7 @@
t t) t t)
(deftest string-is-not-vector-of-character.5 (deftest string-is-not-vector-of-character.5
:notes (:nil-vectors-are-strings)
(subtypep* '(string 17) '(vector character 17)) (subtypep* '(string 17) '(vector character 17))
nil t) nil t)
...@@ -171,6 +174,7 @@ ...@@ -171,6 +174,7 @@
t t) t t)
(deftest simple-string-is-not-simple-1d-array-of-character.1 (deftest simple-string-is-not-simple-1d-array-of-character.1
:notes (:nil-vectors-are-strings)
(subtypep* 'simple-string '(simple-array character (*))) (subtypep* 'simple-string '(simple-array character (*)))
nil t) nil t)
...@@ -179,6 +183,7 @@ ...@@ -179,6 +183,7 @@
t t) t t)
(deftest simple-string-is-not-simple-1d-array-of-character.3 (deftest simple-string-is-not-simple-1d-array-of-character.3
:notes (:nil-vectors-are-strings)
(subtypep* '(simple-string *) '(simple-array character (*))) (subtypep* '(simple-string *) '(simple-array character (*)))
nil t) nil t)
...@@ -187,6 +192,7 @@ ...@@ -187,6 +192,7 @@
t t) t t)
(deftest simple-string-is-not-simple-1d-array-of-character.5 (deftest simple-string-is-not-simple-1d-array-of-character.5
:notes (:nil-vectors-are-strings)
(subtypep* '(simple-string 17) '(simple-array character (17))) (subtypep* '(simple-string 17) '(simple-array character (17)))
nil t) nil t)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment