8 |
;;; More tests of type vector in make-array.lsp |
;;; More tests of type vector in make-array.lsp |
9 |
|
|
10 |
(deftest vector.type.1 |
(deftest vector.type.1 |
11 |
(notnot (typep #(a b c) 'vector)) |
(notnot-mv (typep #(a b c) 'vector)) |
12 |
t) |
t) |
13 |
|
|
14 |
(deftest vector.type.2 |
(deftest vector.type.2 |
15 |
(notnot (typep #() 'vector)) |
(notnot-mv (typep #() 'vector)) |
16 |
t) |
t) |
17 |
|
|
18 |
(deftest vector.type.3 |
(deftest vector.type.3 |
19 |
(notnot (typep "" 'vector)) |
(notnot-mv (typep "" 'vector)) |
20 |
t) |
t) |
21 |
|
|
22 |
(deftest vector.type.4 |
(deftest vector.type.4 |
23 |
(notnot (typep "abcdef" 'vector)) |
(notnot-mv (typep "abcdef" 'vector)) |
24 |
t) |
t) |
25 |
|
|
26 |
(deftest vector.type.5 |
(deftest vector.type.5 |
27 |
(notnot (typep #* 'vector)) |
(notnot-mv (typep #* 'vector)) |
28 |
t) |
t) |
29 |
|
|
30 |
(deftest vector.type.6 |
(deftest vector.type.6 |
31 |
(notnot (typep #*011011101011 'vector)) |
(notnot-mv (typep #*011011101011 'vector)) |
32 |
t) |
t) |
33 |
|
|
34 |
(deftest vector.type.7 |
(deftest vector.type.7 |
44 |
t t) |
t t) |
45 |
|
|
46 |
(deftest vector.type.10 |
(deftest vector.type.10 |
47 |
(notnot (typep #(a b c) '(vector *))) |
(notnot-mv (typep #(a b c) '(vector *))) |
48 |
t) |
t) |
49 |
|
|
50 |
(deftest vector.type.11 |
(deftest vector.type.11 |
51 |
(notnot (typep #(a b c) '(vector t))) |
(notnot-mv (typep #(a b c) '(vector t))) |
52 |
t) |
t) |
53 |
|
|
54 |
(deftest vector.type.12 |
(deftest vector.type.12 |
55 |
(notnot (typep "abcde" '(vector *))) |
(notnot-mv (typep "abcde" '(vector *))) |
56 |
t) |
t) |
57 |
|
|
58 |
(deftest vector.type.13 |
(deftest vector.type.13 |
60 |
nil) |
nil) |
61 |
|
|
62 |
(deftest vector.type.14 |
(deftest vector.type.14 |
63 |
(notnot (typep #*00110 '(vector *))) |
(notnot-mv (typep #*00110 '(vector *))) |
64 |
t) |
t) |
65 |
|
|
66 |
(deftest vector.type.15 |
(deftest vector.type.15 |
67 |
(typep #*00110 '(vector t)) |
(typep #*00110 '(vector t)) |
68 |
nil) |
nil) |
69 |
|
|
70 |
|
(deftest vector.type.16 |
71 |
|
(notnot-mv (typep #(a b c) '(vector * 3))) |
72 |
|
t) |
73 |
|
|
74 |
|
(deftest vector.type.17 |
75 |
|
(typep #(a b c) '(vector * 2)) |
76 |
|
nil) |
77 |
|
|
78 |
|
(deftest vector.type.18 |
79 |
|
(typep #(a b c) '(vector * 4)) |
80 |
|
nil) |
81 |
|
|
82 |
|
(deftest vector.type.19 |
83 |
|
(notnot-mv (typep #(a b c) '(vector t 3))) |
84 |
|
t) |
85 |
|
|
86 |
|
(deftest vector.type.20 |
87 |
|
(typep #(a b c) '(vector t 2)) |
88 |
|
nil) |
89 |
|
|
90 |
|
(deftest vector.type.21 |
91 |
|
(typep #(a b c) '(vector t 4)) |
92 |
|
nil) |
93 |
|
|
94 |
|
(deftest vector.type.23 |
95 |
|
(notnot-mv (typep #(a b c) '(vector t *))) |
96 |
|
nil) |
97 |
|
|
98 |
|
(deftest vector.type.23a |
99 |
|
(notnot-mv (typep "abcde" '(vector * 5))) |
100 |
|
t) |
101 |
|
|
102 |
|
(deftest vector.type.24 |
103 |
|
(typep "abcde" '(vector * 4)) |
104 |
|
nil) |
105 |
|
|
106 |
|
(deftest vector.type.25 |
107 |
|
(typep "abcde" '(vector * 6)) |
108 |
|
nil) |
109 |
|
|
110 |
|
(deftest vector.type.26 |
111 |
|
(notnot-mv (typep "abcde" '(vector * *))) |
112 |
|
t) |
113 |
|
|
114 |
|
(deftest vector.type.27 |
115 |
|
(typep "abcde" '(vector t 5)) |
116 |
|
nil) |
117 |
|
|
118 |
|
(deftest vector.type.28 |
119 |
|
(typep "abcde" '(vector t 4)) |
120 |
|
nil) |
121 |
|
|
122 |
|
(deftest vector.type.29 |
123 |
|
(typep "abcde" '(vector t 6)) |
124 |
|
nil) |
125 |
|
|
126 |
|
(deftest vector.type.30 |
127 |
|
(typep "abcde" '(vector t *)) |
128 |
|
nil) |