167 |
(def-type-prop-test float.1 'float '(real) 1) |
(def-type-prop-test float.1 'float '(real) 1) |
168 |
(def-type-prop-test float.2 'float '(real float) 2) |
(def-type-prop-test float.2 'float '(real float) 2) |
169 |
(def-type-prop-test floatp 'floatp '(t) 1) |
(def-type-prop-test floatp 'floatp '(t) 1) |
170 |
|
|
171 |
|
(defun has-nonzero-length (x) (> (length x) 0)) |
172 |
|
|
173 |
|
(def-type-prop-test parse-integer.1 'parse-integer |
174 |
|
'((and (vector (member #\0 #\1 #\2 #\3 #\4 #\5 #\6 #\7 #\8 #\9)) |
175 |
|
(satisfies has-nonzero-length))) |
176 |
|
1) |
177 |
|
|
178 |
|
(def-type-prop-test parse-integer.2 'parse-integer |
179 |
|
`((and (vector (member #\0 #\1 #\2 #\3 #\4 #\5 #\6 #\7 #\8 #\9)) |
180 |
|
(satisfies has-nonzero-length)) |
181 |
|
(eql :start) |
182 |
|
,#'(lambda (x &rest rest) (declare (ignore rest)) |
183 |
|
`(integer 0 (,(length x))))) |
184 |
|
3) |
185 |
|
|
186 |
|
(def-type-prop-test sxhash 'sxhash '(t) 1) |