/[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.215 by pfdietz, Wed Mar 2 04:19:52 2005 UTC revision 1.216 by pfdietz, Wed Mar 2 04:45:04 2005 UTC
# Line 10093  Broken at C::WT-MAKE-CLOSURE. Line 10093  Broken at C::WT-MAKE-CLOSURE.
10093         (typep (the (eql :c1) p1) (type-of "b"))))         (typep (the (eql :c1) p1) (type-of "b"))))
10094     :c1)     :c1)
10095    nil)    nil)
10096    
10097    ;;; The value NIL is not of type SB-KERNEL:CTYPE.
10098    
10099    (deftest misc.548
10100      (notnot
10101       (funcall
10102        (compile
10103         nil
10104         '(lambda (p1)
10105            (declare (optimize (speed 2) (safety 1) (debug 3) (space 2)))
10106            (atom (the (member f assoc-if write-line t w) p1))))
10107        t))
10108      t)
10109    
10110    ;;; IR2 type checking of unused values in not implemented.
10111    
10112    (deftest misc.549
10113      (funcall
10114       (compile
10115        nil
10116        '(lambda (p2)
10117           (declare (optimize (speed 1) (safety 1) (debug 0) (space 3))
10118                    (type symbol p2))
10119           (and :a (the (eql t) p2))))
10120       t)
10121      :a)
10122    
10123    (deftest misc.550
10124      (funcall
10125       (compile
10126        nil
10127        '(lambda (p1 p2)
10128           (declare (optimize (speed 3) (safety 2) (debug 3) (space 3))
10129                    (type atom p1)
10130                    (type symbol p2))
10131           (or p1 (the (eql t) p2))))
10132       nil t)
10133      t)

Legend:
Removed from v.1.215  
changed lines
  Added in v.1.216

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