Hints in error messages
gabrielhdt opened this issue · comments
It has been suggested in #263 (comment) that hints could be added to error messages in general. For instance, instead of
Parsing error: Beta-redex are not allowed in the left-hand side of rewriting rule
raised when parsing for instance the rewrite rule
[X] f ((x => x) X) --> X., we could provide a hint
Parsing error: Beta-redex are not allowed in the left-hand side of rewriting rule.
Hint: have you tried replacing ((x => x) X) with X?
This could be part of a rehaul of the error system with #193, #242.