We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
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
[X] f ((x => x) X) --> X.
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.
The text was updated successfully, but these errors were encountered:
No branches or pull requests
It has been suggested in #263 (comment) that hints could be added to error messages in general. For instance, instead of
raised when parsing for instance the rewrite rule
[X] f ((x => x) X) --> X., we could provide a hintThis could be part of a rehaul of the error system with #193, #242.
The text was updated successfully, but these errors were encountered: