/[gcl]/gcl/ansi-tests/misc.lsp
ViewVC logotype

Diff of /gcl/ansi-tests/misc.lsp

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.207 by pfdietz, Wed Feb 23 01:29:27 2005 UTC revision 1.208 by pfdietz, Wed Feb 23 03:03:32 2005 UTC
# Line 9905  Broken at C::WT-MAKE-CLOSURE. Line 9905  Broken at C::WT-MAKE-CLOSURE.
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)

Legend:
Removed from v.1.207  
changed lines
  Added in v.1.208

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26