Skip to content
New issue

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

Pretty-print basic_type_error #3064

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
Open

Conversation

mtzguido
Copy link
Member

Example of after, in Pulse:
Screenshot 2023-09-29 111721
previously this was all in a single line. If it fits in the line width, it will still be in a single line, but it will break as needed. Note but test2 is in a single line since it fits, if test2 was bigger it would also break and indent.

I removed the double quotes around the terms... should we maybe keep them? Or use anything else to distinguish terms appearing in the error message. GHC uses some fancy quotes that cannot appear in terms.

    • Couldn't match expected type ‘Int’ with actual type ‘Char’

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant