63 |
|
|
64 |
;;; In ANSI CL, symbols and cons can no longer be functions |
;;; In ANSI CL, symbols and cons can no longer be functions |
65 |
(deftest functionp.10 |
(deftest functionp.10 |
66 |
(loop for x in *universe* |
(check-predicate #'(lambda (x) |
67 |
when (and (or (numberp x) (characterp x) |
(not (and (or (numberp x) (characterp x) |
68 |
(symbolp x) (consp x) |
(symbolp x) (consp x) |
69 |
(typep x 'array)) |
(typep x 'array)) |
70 |
(functionp x)) |
(functionp x))))) |
|
collect x) |
|
71 |
nil) |
nil) |
72 |
|
|
73 |
(deftest functionp.11 |
(deftest functionp.11 |
78 |
(flet ((%f () nil)) (not-mv (functionp #'%f))) |
(flet ((%f () nil)) (not-mv (functionp #'%f))) |
79 |
nil) |
nil) |
80 |
|
|
81 |
|
;;; TODO: Add check-type-predicate test? |
82 |
|
|
83 |
(deftest functionp.order.1 |
(deftest functionp.order.1 |
84 |
(let ((i 0)) |
(let ((i 0)) |
85 |
(values |
(values |