/[gcl]/gcl/ansi-tests/subtypep-cons.lsp
ViewVC logotype

Diff of /gcl/ansi-tests/subtypep-cons.lsp

Parent Directory Parent Directory | Revision Log Revision Log | View Patch 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)

Legend:
Removed from v.1.13  
changed lines
  Added in v.1.14

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