Turn warnings about ECL not being able to cope with certain types into compiler notes.

This commit is contained in:
Juan Jose Garcia Ripoll 2010-02-07 21:05:15 +01:00
parent 280d509ebd
commit 8a923695e3

View file

@ -145,20 +145,20 @@
(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)
@ -309,16 +309,16 @@
(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)