/[gcl]/gcl/ansi-tests/types-and-class.lsp
ViewVC logotype

Diff of /gcl/ansi-tests/types-and-class.lsp

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.23 by pfdietz, Sat Feb 1 04:39:54 2003 UTC revision 1.24 by pfdietz, Tue Feb 4 03:45:47 2003 UTC
# Line 173  Line 173 
173          collect (list e types))          collect (list e types))
174    nil)    nil)
175    
176    ;;; Union of a type with its complement is universal
177    
178    (deftest type-or-not-type-is-everything
179      (loop for l in *disjoint-types-list2*
180            append
181            (loop
182             for type in l
183             append (check-subtypep t `(or ,type (not ,type)) t)
184             append (check-subtypep t `(or (not ,type) ,type) t)))
185      nil)
186    
187    
188  (deftest integer-and-ratio-are-disjoint  (deftest integer-and-ratio-are-disjoint
189    (classes-are-disjoint 'integer 'ratio)    (classes-are-disjoint 'integer 'ratio)
# Line 268  Line 279 
279          collect (list sym fun))          collect (list sym fun))
280    nil)    nil)
281    
   
282  ;;; Canonical metaobjects are in the right classes  ;;; Canonical metaobjects are in the right classes
283    
284  (deftest structure-object-is-in-structure-class  (deftest structure-object-is-in-structure-class

Legend:
Removed from v.1.23  
changed lines
  Added in v.1.24

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