/[gcl]/gcl/ansi-tests/random-type-prop-tests-08.lsp
ViewVC logotype

Diff of /gcl/ansi-tests/random-type-prop-tests-08.lsp

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

revision 1.2 by pfdietz, Wed Apr 27 12:25:26 2005 UTC revision 1.3 by pfdietz, Mon Jul 4 13:19:19 2005 UTC
# Line 68  Line 68 
68    3)    3)
69    
70  ;;; map tests here  ;;; map tests here
71    
72    (def-type-prop-test map.1 'map
73      (list '(member list vector)
74            '(member list #.#'list)
75            '(or list vector))
76      3)
77    
78    (def-type-prop-test map.2 'map
79      (list '(member list vector)
80            '(member list #.#'list)
81            '(or list vector)
82            '(or list vector))
83      4)
84    
85    (def-type-prop-test map.3 'map
86      (list '(member list vector)
87            '(member list #.#'list)
88            '(or list vector)
89            '(or list vector)
90            '(or list vector))
91      5)
92    
93    (def-type-prop-test map.4 'map
94      (list '(member list vector (vector (unsigned-byte 32)))
95            '(member 1+ #.#'1+)
96            `(or ,@(loop for i from 1 to 31 collect `(vector (unsigned-byte ,i)))))
97      3)
98    
99    (def-type-prop-test map.5 'map
100      (list `(member ,@(loop for i from 1 to 32 collect `(vector (unsigned-byte ,i))))
101            '(member 1+ #.#'1+)
102            #'(lambda (type fun)
103                (declare (ignore fun))
104                (let ((i (cadadr type)))
105                  `(or ,@(loop for j from i to 32 collect `(vector (integer 0 ,(- (ash 1 i) 2))))))))
106      3)
107    
108    
109    
110  ;;; map-into tests here  ;;; map-into tests here
111    
112    (def-type-prop-test map-into.1 'map-into
113      (list '(or list (vector t))
114            '(member list #.#'list)
115            '(or list vector))
116      3 :replicate '(t nil nil))
117    
118    (def-type-prop-test map-into.2 'map-into
119      (list '(or list (vector t))
120            '(member list #.#'list)
121            '(or list vector)
122            '(or list vector))
123      4 :replicate '(t nil nil nil))
124    
125  ;;; reduce tests here  ;;; reduce tests here
126    
127  (def-type-prop-test count.1 'count '(t sequence) 2)  (def-type-prop-test count.1 'count '(t sequence) 2)
# Line 97  Line 150 
150              `(integer ,start ,(length s))))              `(integer ,start ,(length s))))
151    6)    6)
152    
153  ;;; count-if, count-if-not tests here  (def-type-prop-test count.6 'count
154      (list '(or short-float single-float double-float long-float)
155            #'(lambda (f) `(vector (or ,(typecase f
156                                          (short-float 'short-float)
157                                          (single-float 'single-float)
158                                          (double-float 'double-float)
159                                          (long-float 'long-float)
160                                          (t 'float))
161                                       (eql ,f)))))
162      2)
163    
164    (def-type-prop-test count.7 'count '(bit (vector bit)) 2)
165    (def-type-prop-test count.8 'count '((unsigned-byte 2) (vector (unsigned-byte 2))) 2)
166    (def-type-prop-test count.9 'count '((unsigned-byte 4) (vector (unsigned-byte 4))) 2)
167    (def-type-prop-test count.10 'count '((unsigned-byte 8) (vector (unsigned-byte 8))) 2)
168      
169    
170    ;;; count-if tests
171    
172    (def-type-prop-test count-if.1 'count-if
173      (list (let ((funs '(numberp rationalp realp floatp complexp
174                          symbolp identity null functionp listp consp
175                          arrayp vectorp simple-vector-p
176                          stringp simple-string-p
177                          bit-vector-p simple-bit-vector-p)))
178              `(member ,@funs ,@(mapcar #'symbol-function funs)))
179            '(or list vector))
180      2)
181    
182    (def-type-prop-test count-if.2 'count-if
183      (list (let ((funs '(numberp rationalp realp floatp complexp
184                          symbolp identity null functionp listp consp
185                          arrayp vectorp simple-vector-p
186                          stringp simple-string-p
187                          bit-vector-p simple-bit-vector-p)))
188              `(member ,@funs ,@(mapcar #'symbol-function funs)))
189            '(or list vector)
190            '(eql :test)
191            (let ((test-funs '(eq eql equal equalp)))
192              `(member ,@test-funs ,@(mapcar #'symbol-function test-funs))))
193      4)
194    
195    
196    
197    
198    ;;; Put count-if-not tests here
199            
200    
201  (def-type-prop-test length.1 'length '(sequence) 1)  (def-type-prop-test length.1 'length '(sequence) 1)
202    
# Line 172  Line 271 
271      (member < <= > >= ,#'< ,#'<= ,#'> ,#'>=))      (member < <= > >= ,#'< ,#'<= ,#'> ,#'>=))
272    2 :replicate '(t nil))    2 :replicate '(t nil))
273    
   
   

Legend:
Removed from v.1.2  
changed lines
  Added in v.1.3

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