-
Notifications
You must be signed in to change notification settings - Fork 13
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
dafny-mode fails to parse warnings #11
Comments
Thanks for the report; I need quite a bit more info to be able to debug this though :)
Clément. |
Emacs 25.4, dafny 1.9.7, and the plain cli tool. On Tue, 27 Sep 2016, 16:51 Clément Pit--Claudel, notifications@github.com
|
Uh? |
Also: thanks! Reproduced :) This is really silly. I mostly use the server checker, so I missed that. |
Ok. It's an upstream Flycheck issue introduced in flycheck/flycheck@a8147c4 |
My apologies, 24.5 :p Thanks for the quick debugging! |
:) Btw, things should work fine if you use the more efficient inferior-dafny-mode (use |
This is my file:
Running
dafny
on it produces the following error:dafny-mode however crashes on it and reports no errors, showing this stack trace:
It looks like the structure returned as the warning doesn't include the
(flycheck-error-message)
.The text was updated successfully, but these errors were encountered: