Parent Directory | Revision Log | Patch
revision 1.13 by pfdietz, Tue Jun 22 12:40:34 2004 UTC | revision 1.14 by pfdietz, Sat Jun 25 22:16:18 2005 UTC | |
---|---|---|
# | Line 314 | Line 314 |
314 | (notnot-mv (subtypep '(cons nil nil) 'real)) | (notnot-mv (subtypep '(cons nil nil) 'real)) |
315 | t t) | t t) |
316 | ||
317 | (deftest subtypep.cons.38 | |
318 | (let ((t1 '(cons t (complex (real -32 0)))) | |
319 | (t2 `(not (cons t (complex (integer * -500)))))) | |
320 | (subtypep-and-contrapositive-are-consistent t1 t2)) | |
321 | t) |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |