10572 |
-3712.8447 -27) |
-3712.8447 -27) |
10573 |
(scale-float -3712.8447 -27)) |
(scale-float -3712.8447 -27)) |
10574 |
t) |
t) |
10575 |
|
|
10576 |
|
;;; IR2 type checking of unused values in not implemented. |
10577 |
|
;;; (note that this test has no THE form) |
10578 |
|
|
10579 |
|
(deftest misc.585 |
10580 |
|
(funcall |
10581 |
|
(compile nil '(lambda (p1) |
10582 |
|
(declare (optimize (speed 0) (safety 0) (debug 3) (space 3)) |
10583 |
|
(type symbol p1)) |
10584 |
|
(copy-list p1))) |
10585 |
|
nil) |
10586 |
|
nil) |
10587 |
|
|
10588 |
|
;;; The value 4 is not of type (UNSIGNED-BYTE 2). |
10589 |
|
|
10590 |
|
(deftest misc.586 |
10591 |
|
(funcall |
10592 |
|
(compile |
10593 |
|
nil |
10594 |
|
'(lambda (p6) |
10595 |
|
(declare (optimize (speed 0) (safety 2) (debug 0) (space 0)) |
10596 |
|
(type (integer -2 3009181) p6)) |
10597 |
|
(string> (coerce "ababaaabb" 'base-string) |
10598 |
|
(coerce "ubbm" 'base-string) |
10599 |
|
:start1 2 :start2 p6 :end1 8))) |
10600 |
|
4) |
10601 |
|
2) |