Provide quick fixes for error/warning messages
Idea
Attach recommended fixes to error/warning messages that can be solved "easily", e.g.:
- Unused variables/type parameters/imports
- Duplicate imports
- Required (but undeclared) language extensions
- Missing top-level type signatures
- Uninitialized record fields (see #125)
- etc.
Motivation
Having a unified solution for attaching fixes to a message, would make it easy to emit messages like this one from GHC:
import Prelude (True)src/ImportSyntaxCheck/ImportDataConstr.hs:1:17: error:
In module ‘Prelude’:
‘True’ is a data constructor of ‘Bool’
To import it use
import Prelude( Bool( True ) )
or
import Prelude( Bool(..) )
|
1 | import Prelude (True)
| ^^^^This would also enable downstream features like language server support for fixable errors and subsequently improve the editing experience for Curry in LSP-supporting editors, as in this Rust example:
