Parent Directory | Revision Log | Patch
revision 1.15 by pfdietz, Fri Aug 12 03:23:51 2005 UTC | revision 1.16 by pfdietz, Fri Oct 7 13:19:00 2005 UTC | |
---|---|---|
# | Line 325 | Line 325 |
325 | (deftest subtypep.cons.39 | (deftest subtypep.cons.39 |
326 | (values (subtypep t '(and (not (cons cons (cons cons t))) (not (cons t cons))))) | (values (subtypep t '(and (not (cons cons (cons cons t))) (not (cons t cons))))) |
327 | nil) | nil) |
328 | ||
329 | (deftest subtypep.cons.40 | |
330 | (let ((type1 '(cons (eql 0) cons)) | |
331 | (type2 '(cons unsigned-byte symbol))) | |
332 | (values | |
333 | (subtypep* type1 type2) | |
334 | (subtypep* `(not ,type2) `(not ,type1)))) | |
335 | nil nil) |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |