--show-snippets does not work for parse errors #3304
Labels
kind: bug
Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label
part: CLI
interacting with Dafny on the command line
part: parser
First phase of Dafny's pipeline
Dafny version
3.10.0+dev
Code to produce this issue
const c = 5
Command to run and resulting output
What happened?
Got:
/Users/davidcok/projects/dafny/dafny/Test/tmp.dfy(1,10): Error: a const field should be initialized using ':=', not '='
1 parse errors detected in /Users/davidcok/projects/dafny/dafny/Test/tmp.dfy
Expected to see a display of source code, like this for verification errors:
|
3 | assert false;
| ^^^^^
What type of operating system are you experiencing the problem on?
Mac
The text was updated successfully, but these errors were encountered: