/[gcl]/gcl/ansi-tests/upgraded-array-element-type.lsp
ViewVC logotype

Diff of /gcl/ansi-tests/upgraded-array-element-type.lsp

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

revision 1.4 by pfdietz, Fri Jan 31 01:58:10 2003 UTC revision 1.5 by pfdietz, Fri Apr 18 01:52:11 2003 UTC
# Line 28  Line 28 
28      base-char      base-char
29      character      character
30      t      t
31        ,@(loop for i from 0 to 32 collect `(eql ,(ash 1 i)))
32        ,@(loop for i from 0 to 32 collect `(eql ,(1- (ash 1 i))))
33        (eql -1)
34      ,@(loop for i from 0 to 32      ,@(loop for i from 0 to 32
35              collect `(integer 0 (,(ash 1 i))))              collect `(integer 0 (,(ash 1 i))))
36      symbol      symbol
# Line 87  Line 90 
90                  collect (list type type2))))                  collect (list type type2))))
91    nil)    nil)
92    
93    ;;; Tests that if Tx is a subtype of Ty, then UAET(Tx) is a subtype
94    ;;;  of UAET(Ty)  (see section 15.1.2.1, paragraph 3)
95    
96    (deftest upgraded-array-element-type.8
97      (let ((upgraded-types (mapcar #'upgraded-array-element-type
98                                    *upgraded-array-types-to-check*)))
99        (loop for type1 in *upgraded-array-types-to-check*
100              for uaet1 in upgraded-types
101              append
102              (loop for type2 in *upgraded-array-types-to-check*
103                    for uaet2 in upgraded-types
104                    when (and (subtypep type1 type2)
105                            (not (empirical-subtypep uaet1 uaet2)))
106                    collect (list type1 type2))))
107      nil)
108    
109  ;;; Tests of upgrading NIL (it should be type equivalent to NIL)  ;;; Tests of upgrading NIL (it should be type equivalent to NIL)
110    
111  (deftest upgraded-array-element-type.nil.1  (deftest upgraded-array-element-type.nil.1
# Line 95  Line 114 
114            when (typep e uaet-nil)            when (typep e uaet-nil)
115            collect e))            collect e))
116    nil)    nil)
                     
117            
118  ;;; Error tests  ;;; Error tests
119    

Legend:
Removed from v.1.4  
changed lines
  Added in v.1.5

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