14 |
(typep nil 'function) |
(typep nil 'function) |
15 |
nil) |
nil) |
16 |
|
|
17 |
|
;;; The next test demonstrates an incompatibility between CLtL1 and ANSI CL. |
18 |
|
;;; In ANSI CL, symbols are no longer of type FUNCTION. |
19 |
(deftest function.2 |
(deftest function.2 |
20 |
(typep 'identity 'function) |
(typep 'identity 'function) |
21 |
nil) |
nil) |
41 |
(typep '(setf car) 'function) |
(typep '(setf car) 'function) |
42 |
nil) |
nil) |
43 |
|
|
44 |
|
;;; The next test demonstrates an incompatibility between CLtL1 and ANSI CL. |
45 |
|
;;; In ANSI CL, lambda forms are no longer of type FUNCTION. |
46 |
(deftest function.6 |
(deftest function.6 |
47 |
(typep '(lambda (x) x) 'function) |
(typep '(lambda (x) x) 'function) |
48 |
nil) |
nil) |
63 |
(not (typep (compile nil '(lambda (x) x)) 'function)) |
(not (typep (compile nil '(lambda (x) x)) 'function)) |
64 |
nil) |
nil) |
65 |
|
|
66 |
|
;;; The next test demonstrates an incompatibility between CLtL1 and ANSI CL. |
67 |
|
;;; In ANSI CL, symbols and cons can no longer also be of type FUNCTION. |
68 |
(deftest function.10 |
(deftest function.10 |
69 |
(loop for x in *universe* |
(loop for x in *universe* |
70 |
never |
never |
71 |
(and (or (numberp x) (characterp x) (symbolp x) (consp x) |
(and (or (numberp x) (characterp x) |
72 |
|
(symbolp x) (consp x) |
73 |
(typep x 'array)) |
(typep x 'array)) |
74 |
(typep x 'function))) |
(typep x 'function))) |
75 |
t) |
t) |