Parent Directory | Revision Log | 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) |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |