9905 |
(aref r0)) |
(aref r0)) |
9906 |
4134713351/6105637898) |
4134713351/6105637898) |
9907 |
|
|
9908 |
|
#| |
9909 |
|
The value |
9910 |
|
#<SB-ALIEN:CAST |
9911 |
|
:%TYPE-CHECK NIL |
9912 |
|
:VALUE #<SB-C::LVAR 1 {DEDE809}> |
9913 |
|
:ASSERTED-TYPE #<SB-KERNEL:MEMBER-TYPE (MEMBER |
9914 |
|
#C(4196.088977268509d0 -15943.3603515625d0))> |
9915 |
|
:TYPE-TO-CHECK #<SB-KERNEL:NAMED-TYPE *> {DECFF19}> |
9916 |
|
is not of type |
9917 |
|
SB-C::REF. |
9918 |
|
|# |
9919 |
|
|
9920 |
|
(deftest misc.535 |
9921 |
|
(let ((c0 #c(4196.088977268509d0 -15943.3603515625d0))) |
9922 |
|
(funcall |
9923 |
|
(compile |
9924 |
|
nil |
9925 |
|
`(lambda (p1 p2) |
9926 |
|
(declare (optimize speed (safety 1)) |
9927 |
|
(type (simple-array t nil) r) |
9928 |
|
(type (eql ,c0) p1) |
9929 |
|
(type number p2)) |
9930 |
|
(eql (the (complex double-float) p1) p2))) |
9931 |
|
c0 #c(12 612/979))) |
9932 |
|
nil) |
9933 |
|
|
9934 |
|
;;; Similar to misc.535 |
9935 |
|
(deftest misc.536 |
9936 |
|
(funcall |
9937 |
|
(compile |
9938 |
|
nil |
9939 |
|
'(lambda (p1 p2) |
9940 |
|
(declare (optimize speed (safety 1)) |
9941 |
|
(type (eql #c(11963908204 1/6)) p1) |
9942 |
|
(type (complex rational) p2)) |
9943 |
|
(eql p1 (the complex p2)))) |
9944 |
|
#c(11963908204 1/6) #c(2343315619 5252231066)) |
9945 |
|
nil) |