inhibit-warnings))
(dolist (fun funs
(let ((*compiler-error-context* (lambda-bind (first funs))))
- (compiler-note
+ (compiler-notify
"Return value count mismatch prevents known return ~
from these functions:~
~{~% ~A~}"
(declare (ignore ignore))
(when (eq count :unknown)
(let ((*compiler-error-context* (lambda-bind fun)))
- (compiler-note
+ (compiler-notify
"Return type not fixed values, so can't use known return ~
convention:~% ~S"
(type-specifier rtype)))
(multiple-value-bind (types count) (values-types (tail-set-type tails))
(let ((ptypes (mapcar #'primitive-type types))
(use-standard (use-standard-returns tails)))
- (when (and (eq count :unknown) (not use-standard))
+ (when (and (eq count :unknown) (not use-standard)
+ (not (eq (tail-set-type tails) *empty-type*)))
(return-value-efficiency-note tails))
(if (or (eq count :unknown) use-standard)
(make-return-info :kind :unknown