151 |
(t t) (t t) |
(t t) (t t) |
152 |
t nil nil t t nil) |
t nil nil t t nil) |
153 |
|
|
154 |
|
;;; I've removed this test, because EVAL can cause implicit compilation, |
155 |
|
;;; and the semantic constraints on compilation forbid redefinition of |
156 |
|
;;; of the types produced by DEFTYPE at runtime. |
157 |
|
#| |
158 |
(deftest deftype.14 |
(deftest deftype.14 |
159 |
(let* ((sym (gensym)) |
(let* ((sym (gensym)) |
160 |
(*f* nil) |
(*f* nil) |
169 |
(funcall *f* 2) |
(funcall *f* 2) |
170 |
(loop for i from -1 to 3 collect (typep* i sym)))) |
(loop for i from -1 to 3 collect (typep* i sym)))) |
171 |
t (nil t t nil nil) 2 (nil t t t nil)) |
t (nil t t nil nil) 2 (nil t t t nil)) |
172 |
|
|# |
173 |
|
|
174 |
(deftest deftype.15 |
(deftest deftype.15 |
175 |
(let* ((sym (gensym)) |
(let* ((sym (gensym)) |