178 |
;; TAILP-NIL:T in the X3J13 documentation. |
;; TAILP-NIL:T in the X3J13 documentation. |
179 |
|
|
180 |
(deftest tailp.error.1 |
(deftest tailp.error.1 |
181 |
(catch-type-error (not (not (tailp 'e (copy-tree '(a b c d . e)))))) |
(catch-type-error (notnot-mv (tailp 'e (copy-tree '(a b c d . e))))) |
182 |
t) |
t) |
183 |
|
|
184 |
(deftest tailp.error.2 |
(deftest tailp.error.2 |
186 |
nil) |
nil) |
187 |
|
|
188 |
(deftest tailp.error.3 |
(deftest tailp.error.3 |
189 |
(catch-type-error (not (not (tailp 10203040506070 |
(catch-type-error (notnot-mv (tailp 10203040506070 |
190 |
(list* 'a 'b (1- 10203040506071)))))) |
(list* 'a 'b (1- 10203040506071))))) |
191 |
t) |
t) |
192 |
|
|
193 |
(deftest tailp.error.4 |
(deftest tailp.error.4 |