-
Notifications
You must be signed in to change notification settings - Fork 2
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
Fixes #80: Update problem matcher #147
base: main
Are you sure you want to change the base?
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Seems to work now!
d635418
to
c585699
Compare
I'm not sure, I just tested it on another machine, and it didn't work. Did you test it with typecheckOn set to "none" |
Oh, yes, it doesn't work with |
I looked into this, and it seems to be completely impossible to use a ProblemMatcher for an error message spanning several lines. Theoretically, there are multiline problem matchers, but they are intended to work for stuff like:
When you get several error messages for one file, and not a single message on multiple lines. VSCode extensions for Haskell, which need to parse multiline error messages, do this by manually parsing all errors without using any problem matchers. See: |
Even for the simple case of one line break between file/location info and the message, this line break is precisely what causes the error messages to get mangled up in the pop-up window, even though we seem to be correctly implementing a problem matcher for this case. |
This PR closes