10065 |
(declare (type (eql #c(-1 1/2)) x)) |
(declare (type (eql #c(-1 1/2)) x)) |
10066 |
x) |
x) |
10067 |
#c(-1 1/2)) |
#c(-1 1/2)) |
10068 |
|
|
10069 |
|
;;; SBCL |
10070 |
|
;;; 0.8.19.39 |
10071 |
|
;;; The function SB-KERNEL:CHARACTER-STRING-P is undefined. |
10072 |
|
|
10073 |
|
(deftest misc.546 |
10074 |
|
(funcall |
10075 |
|
(compile |
10076 |
|
nil |
10077 |
|
'(lambda (p1) |
10078 |
|
(declare (optimize (speed 0) (safety 1) (debug 2) (space 3)) |
10079 |
|
(type (eql a) p1)) |
10080 |
|
(typep p1 (type-of "")))) |
10081 |
|
'a) |
10082 |
|
nil) |
10083 |
|
|
10084 |
|
;;; The function SB-KERNEL:SIMPLE-CHARACTER-STRING-P is undefined. |
10085 |
|
|
10086 |
|
(deftest misc.547 |
10087 |
|
(funcall |
10088 |
|
(compile |
10089 |
|
nil |
10090 |
|
'(lambda (p1) |
10091 |
|
(declare (optimize (speed 3) (safety 3) (debug 0) (space 3)) |
10092 |
|
(type symbol p1)) |
10093 |
|
(typep (the (eql :c1) p1) (type-of "b")))) |
10094 |
|
:c1) |
10095 |
|
nil) |