10107 |
t)) |
t)) |
10108 |
t) |
t) |
10109 |
|
|
10110 |
;;; IR2 type checking of unused values in not implemented. |
;;; IR2 type checking of unused values in [sic] not implemented. |
10111 |
|
|
10112 |
(deftest misc.549 |
(deftest misc.549 |
10113 |
(funcall |
(funcall |
10131 |
(or p1 (the (eql t) p2)))) |
(or p1 (the (eql t) p2)))) |
10132 |
nil t) |
nil t) |
10133 |
t) |
t) |
10134 |
|
|
10135 |
|
(deftest misc.551 |
10136 |
|
(funcall |
10137 |
|
(compile |
10138 |
|
nil |
10139 |
|
'(lambda (p1 p2) |
10140 |
|
(declare (optimize (speed 1) (safety 1) (debug 3) (space 3)) |
10141 |
|
(type symbol p1) |
10142 |
|
(type (integer * 55687) p2)) |
10143 |
|
(funcall (the (eql +) p1) (the (integer -93015310 16215) p2) 2952))) |
10144 |
|
'+ 823) |
10145 |
|
3775) |
10146 |
|
|