X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fir1opt.lisp;h=ce0522db6fb197f34e873d6d1e4dd065503cb2cd;hb=d40a76606c86722b0aef8179155f9f2840739b72;hp=08951f824268677bf2ad0ed602f1f7361cf23ed5;hpb=09957fcf57b49ed5ae5f05d62ad12d7ddbfd8e1d;p=sbcl.git diff --git a/src/compiler/ir1opt.lisp b/src/compiler/ir1opt.lisp index 08951f8..ce0522d 100644 --- a/src/compiler/ir1opt.lisp +++ b/src/compiler/ir1opt.lisp @@ -159,9 +159,9 @@ (eq int *empty-type*) (not (eq rtype *empty-type*))) (let ((*compiler-error-context* node)) - (compiler-warning + (compiler-warn "New inferred type ~S conflicts with old type:~ - ~% ~S~%*** Bug?" + ~% ~S~%*** possible internal error? Please report this." (type-specifier rtype) (type-specifier node-type)))) (setf (node-derived-type node) int) (reoptimize-continuation (node-cont node)))))) @@ -880,8 +880,8 @@ ;; FIXME: Actually, I think we could ;; issue a full WARNING if the call ;; violates a DECLAIM FTYPE. - :error-function #'compiler-style-warning - :warning-function #'compiler-note) + :lossage-fun #'compiler-style-warn + :unwinnage-fun #'compiler-note) (assert-call-type call type) (maybe-terminate-block call ir1-converting-not-optimizing-p) (recognize-known-call call ir1-converting-not-optimizing-p)) @@ -999,7 +999,7 @@ (:aborted (setf (combination-kind node) :error) (when args - (apply #'compiler-warning args)) + (apply #'compiler-warn args)) (remhash node table) nil) (:failure @@ -1471,14 +1471,14 @@ (when total-nvals (when (and min (< total-nvals min)) - (compiler-warning + (compiler-warn "MULTIPLE-VALUE-CALL with ~R values when the function expects ~ at least ~R." total-nvals min) (setf (basic-combination-kind node) :error) (return-from ir1-optimize-mv-call)) (when (and max (> total-nvals max)) - (compiler-warning + (compiler-warn "MULTIPLE-VALUE-CALL with ~R values when the function expects ~ at most ~R." total-nvals max)