Skip to content
Snippets Groups Projects
Commit 3456daef authored by ram's avatar ram
Browse files

In NOTE-REJECTED-TEMPLATES, moved the increment of COUNT inside of the

test for whether to flame about the template.
parent e91f5caa
No related branches found
No related tags found
No related merge requests found
......@@ -768,17 +768,17 @@
:strict-result t)))
(when (or (not valid) (not strict-valid))
(frob "Unable to do ~A (cost ~D) because:"
(template-note loser) (template-cost loser)))
(cond ((not valid)
(valid-function-use call type
:error-function #'frob
:warning-function #'frob))
((not strict-valid)
(assert (policy-safe-p policy))
(frob "Can't trust output type assertion under safe ~
policy."))))
(count 1)))
(template-note loser) (template-cost loser))
(cond ((not valid)
(valid-function-use call type
:error-function #'frob
:warning-function #'frob))
(t
(assert (policy-safe-p policy))
(frob "Can't trust output type assertion under safe ~
policy.")))
(count 1)))))
(let ((*compiler-error-context* call))
(compiler-note "~{~?~^~&~6T~}"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment