(t
`(AND ,t1 ,t2))))
((eq tag1 'CONS)
- (cmpwarn "Unsupported CONS type ~S. Replacing it with T." t1)
+ (cmpnote "Unsupported CONS type ~S. Replacing it with T." t1)
t2)
((eq tag2 'CONS)
- (cmpwarn "Unsupported CONS type ~S. Replacing it with T." t2)
+ (cmpnote "Unsupported CONS type ~S. Replacing it with T." t2)
t1)
((null tag1)
(setf c::*compiler-break-enable* t)
;(error "foo")
- (cmpwarn "Unknown type ~S. Assuming it is T." t1)
+ (cmpnote "Unknown type ~S. Assuming it is T." t1)
t2)
(t
(setf c::*compiler-break-enable* t)
;(error "foo")
- (cmpwarn "Unknown type ~S. Assuming it is T." t2)
+ (cmpnote "Unknown type ~S. Assuming it is T." t2)
t1))))
(defun values-type-primary-type (type)
(t
`(OR ,t1 ,t2))))
((eq tag1 'CONS)
- (cmpwarn "Unsupported CONS type ~S. Replacing it with T." t1)
+ (cmpnote "Unsupported CONS type ~S. Replacing it with T." t1)
T)
((eq tag2 'CONS)
- (cmpwarn "Unsupported CONS type ~S. Replacing it with T." t2)
+ (cmpnote "Unsupported CONS type ~S. Replacing it with T." t2)
T)
((null tag1)
- (cmpwarn "Unknown type ~S" t1)
+ (cmpnote "Unknown type ~S" t1)
T)
(t
- (cmpwarn "Unknown type ~S" t2)
+ (cmpnote "Unknown type ~S" t2)
T))))
(defun type>= (type1 type2)