309 |
(rcase |
(rcase |
310 |
(1 'complex) |
(1 'complex) |
311 |
(1 'number) |
(1 'number) |
312 |
#-gcl (1 `(complex ,(upgraded-complex-part-type (type-of (realpart val))))) |
#-gcl (1 |
313 |
|
(let ((t1 (type-of (realpart val))) |
314 |
|
(t2 (type-of (imagpart val)))) |
315 |
|
(cond |
316 |
|
((subtypep t1 t2) `(complex ,(upgraded-complex-part-type t2))) |
317 |
|
((subtypep t2 t1) `(complex ,(upgraded-complex-part-type t1))) |
318 |
|
(t |
319 |
|
`(complex ,(upgraded-complex-part-type `(or ,t1 ,t2))))))) |
320 |
(1 `(eql ,val)))) |
(1 `(eql ,val)))) |
321 |
|
|
322 |
(defmethod make-random-type-containing ((val generic-function)) |
(defmethod make-random-type-containing ((val generic-function)) |