dafny-mode fails to parse warnings

[boogie-org]

dafny-mode fails to parse warnings

[cpitclaudel]

Thanks for the report; I need quite a bit more info to be able to debug this though :)

• Which version of Emacs and Dafny are you using?
• Are you using the inferior Dafny mode (with the Dafny server) or just the plain Dafny tool?

Clément.

[SohumB]

Emacs 25.4, dafny 1.9.7, and the plain cli tool.

On Tue, 27 Sep 2016, 16:51 Clément Pit--Claudel, [email protected]
wrote:

Thanks for the report; I need quite a bit more info to be able to debug
this though :)

• Which version of Emacs and Dafny are you using?
• Are you using the inferior Dafny mode (with the Dafny server) or
  just the plain Dafny tool?

Clément.

—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub
#11 (comment),
or mute the thread
https://github.com/notifications/unsubscribe-auth/AAEDqO08lSHOb9ht1Xt3giosP7ja6FZGks5quavngaJpZM4KINfo
.

[cpitclaudel]

25.4

Uh?

[cpitclaudel]

Also: thanks! Reproduced :) This is really silly. I mostly use the server checker, so I missed that.
Working on a fix now.

[cpitclaudel]

Ok. It's an upstream Flycheck issue introduced in flycheck/flycheck@a8147c4

[cpitclaudel]

flycheck/flycheck#1114

[SohumB]

My apologies, 24.5 :p Thanks for the quick debugging!

[cpitclaudel]

24.5

:)

Btw, things should work fine if you use the more efficient inferior-dafny-mode (use M-x customize-group RET dafny RET and pick server in the last option). With this on, Dafny will run as a local server process on your machine, and cache verification results as you write your program.