10145 |
'+ 823) |
'+ 823) |
10146 |
3775) |
3775) |
10147 |
|
|
10148 |
|
(deftest misc.551a |
10149 |
|
(funcall |
10150 |
|
(compile nil '(lambda (x) (declare (optimize (speed 2)) |
10151 |
|
(type symbol x)) |
10152 |
|
(the (eql t) x))) |
10153 |
|
t) |
10154 |
|
t) |
10155 |
|
|
10156 |
;;; cmucl (mar 2005 snapshot) |
;;; cmucl (mar 2005 snapshot) |
10157 |
|
|
10158 |
(deftest misc.552 |
(deftest misc.552 |
10178 |
(deftest misc.554 |
(deftest misc.554 |
10179 |
(funcall (compile nil '(lambda (x) (declare (type (array t 1) x)) x)) #(a)) |
(funcall (compile nil '(lambda (x) (declare (type (array t 1) x)) x)) #(a)) |
10180 |
#(a)) |
#(a)) |
10181 |
|
|
10182 |
|
;;; sbcl 5 Mar 2005 |
10183 |
|
;;; failed AVER: "(EQ CHECK SIMPLE)" |
10184 |
|
|
10185 |
|
(deftest misc.555 |
10186 |
|
(notnot |
10187 |
|
(funcall |
10188 |
|
(compile nil '(lambda (p1) |
10189 |
|
(declare (optimize (speed 1) (safety 2) (debug 2) (space 0)) |
10190 |
|
(type keyword p1)) |
10191 |
|
(keywordp p1))) |
10192 |
|
:c)) |
10193 |
|
t) |
10194 |
|
|
10195 |
|
; Problem with FLOOR |
10196 |
|
; Wrong return value |
10197 |
|
(deftest misc.556 |
10198 |
|
(values |
10199 |
|
(funcall |
10200 |
|
(compile nil '(lambda (p1 p2) |
10201 |
|
(declare |
10202 |
|
(optimize (speed 1) (safety 0) |
10203 |
|
(debug 0) (space 0)) |
10204 |
|
(type (member 8174.8604) p1) |
10205 |
|
(type (member -95195347) p2)) |
10206 |
|
(floor p1 p2))) |
10207 |
|
8174.8604 -95195347)) |
10208 |
|
-1) |
10209 |
|
|
10210 |
|
; invalid number of arguments: 1 |
10211 |
|
; (possible removal of code due to type fumble) |
10212 |
|
(deftest misc.557 |
10213 |
|
(values |
10214 |
|
(funcall |
10215 |
|
(compile |
10216 |
|
nil |
10217 |
|
'(lambda (p1) |
10218 |
|
(declare (optimize (speed 3) (safety 0) (debug 3) (space 1)) |
10219 |
|
(type (member -94430.086) p1)) |
10220 |
|
(floor (the short-float p1) 19311235))) |
10221 |
|
-94430.086)) |
10222 |
|
-1) |