/[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.12 by pfdietz, Mon Jan 13 23:19:51 2003 UTC revision 1.13 by pfdietz, Tue Jan 14 09:08:51 2003 UTC
# Line 212  Line 212 
212    0)    0)
213  |#  |#
214    
215  (deftest types-5  (deftest simple-base-string-is-sequence
216      (subtypep* 'simple-base-string 'sequence)      (subtypep* 'simple-base-string 'sequence)
217    t t)    t t)
218    
   
219  (deftest types-6  (deftest types-6
220      (types-6-body)      (types-6-body)
221    0)    0)
# Line 271  Line 270 
270      (types-9a-body)      (types-9a-body)
271    0)    0)
272    
273    ;;;
274    ;;; Check that disjointness of types in *disjoint-types-list*
275    ;;; is respected by all the elements of *universe*
276    ;;;
277    (deftest universe-elements-in-at-most-one-disjoint-type
278      (loop for e in *universe*
279            for types = (remove-if-not #'(lambda (x) (typep e x))
280                                       *disjoint-types-list*)
281            when (> (length types) 1)
282            collect (list e types))
283      nil)
284    
285  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
286  ;;; deftype  ;;; deftype
287    

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

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