Skip to content

Diagnostic hints infrastructure for GHC

Alfredo Di Napoli requested to merge wip/adinapoli-hints-design into master

Another stepping stone for #18516.

This MR embellish the Diagnostic typeclass with a diagnosticHints :: a -> [GhcHint] method, which allows diagnostics to report hints directly in the final call to printMessages.

This has the nice property that now we don't mix together diagnostic messages and suggested fixes anymore, and we can always print them separately, which is nice.

There is an example of that for the DriverUnexpectedSignature message.

Edited by Alfredo Di Napoli

Merge request reports