63 |
(typep* (make-array '(12) :element-type nil) 'simple-string) |
(typep* (make-array '(12) :element-type nil) 'simple-string) |
64 |
t) |
t) |
65 |
|
|
66 |
(deftest simple-estring.14 |
(deftest simple-string.14 |
67 |
(typep* "abc" '(simple-string)) |
(typep* "abc" '(simple-string)) |
68 |
t) |
t) |
69 |
|
|
70 |
(deftest simple-estring.15 |
(deftest simple-string.15 |
71 |
(typep* "abc" '(simple-string *)) |
(typep* "abc" '(simple-string *)) |
72 |
t) |
t) |
73 |
|
|
74 |
(deftest simple-estring.16 |
(deftest simple-string.16 |
75 |
(typep* "abc" '(simple-string 3)) |
(typep* "abc" '(simple-string 3)) |
76 |
t) |
t) |
77 |
|
|
78 |
(deftest simple-estring.17 |
(deftest simple-string.17 |
79 |
(typep* "abc" '(simple-string 2)) |
(typep* "abc" '(simple-string 2)) |
80 |
nil) |
nil) |
81 |
|
|
82 |
(deftest simple-estring.18 |
(deftest simple-string.18 |
83 |
(typep* "abc" '(simple-string 4)) |
(typep* "abc" '(simple-string 4)) |
84 |
nil) |
nil) |
85 |
|
|