Skip to content

Makes Lint less chatty:

Simon Peyton Jones requested to merge wip/T17415 into master

I found in #17415 (closed) that Lint was printing out truly gigantic warnings, unmanageably huge, with repeated copies of the same thing.

This patch makes Lint less chatty, especially for warnings:

  • For warnings, I don't print details of the location, unless you add -dppr-debug.

  • For errors, I still print all the info. They are fatal and stop exection, whereas warnings appear repeatedly.

  • I've made much less use of AnExpr in LintLocInfo; the expression can be gigantic.

Merge request reports