Bug in go compiler which triggers on Test/git-issues/git-issue-684.dfy and other tests

[keyboardDrummer]

Dafny version

4.0.0

Code to produce this issue

If there is no Main method defined in Test/git-issues/git-issue-684.dfy, then calling Dafny with the go target fails

Command to run and resulting output

dafny "/useBaseNameForFileName" "/vcsCores:2" "/compileVerbose:0" "/timeLimit:300" "/noVerify" "/compile:4" "/compileTarget:go" "dafny/Test/git-issues/git-issue-684.dfy"

What happened?

Dafny program verifier did not attempt verification

command-line-arguments

../../SourceCode/dafny2/Test/git-issues/git-issue-684-go/src/git-issue-684.go:2:12: syntax error: unexpected -, expected semicolon or newline

What type of operating system are you experiencing the problem on?

Linux