... | ... | @@ -654,6 +654,11 @@ making the pretty-printing more uniform, as currently GHC is very liberal when i |
|
|
2. IDE authors won't have to pattern match on a potentially big ADT in order to extract the
|
|
|
hints (or the lack thereof). Given a diagnostic, they would simply call `diagnosticHint` and off they go.
|
|
|
|
|
|
3. Plugin authors can now embed their own hints. Due to the fact `GhcUnknownMessage` has
|
|
|
a `Diagnostic` type equality witness, plugin authors could define their own diagnostics
|
|
|
messages which will ship with their own set of hints, and GHC would be able to print them
|
|
|
uniformly.
|
|
|
|
|
|
```
|
|
|
|
|
|
### Possible disadvantages of this approach
|
... | ... | |