/[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.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)

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

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