Parent Directory | Revision Log | Patch
revision 1.14 by pfdietz, Sat Jun 25 22:16:18 2005 UTC | revision 1.15 by pfdietz, Fri Aug 12 03:23:51 2005 UTC | |
---|---|---|
# | Line 319 | Line 319 |
319 | (t2 `(not (cons t (complex (integer * -500)))))) | (t2 `(not (cons t (complex (integer * -500)))))) |
320 | (subtypep-and-contrapositive-are-consistent t1 t2)) | (subtypep-and-contrapositive-are-consistent t1 t2)) |
321 | t) | t) |
322 | ||
323 | ;;; From GCL | |
324 | ||
325 | (deftest subtypep.cons.39 | |
326 | (values (subtypep t '(and (not (cons cons (cons cons t))) (not (cons t cons))))) | |
327 | nil) |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |