search

dafny-lang / dafny

Dafny is a verification-aware programming language
https://dafny.org
Other
2.82k stars 253 forks source link

Fix: Support for user-defined module fmt for all compilers #5441

Closed MikaelMayer closed 2 weeks ago

MikaelMayer commented 2 weeks ago

This PR fixes #5283 I added the corresponding test.

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.

fabiomadge commented 2 weeks ago

Yes, this fixed the issue you opened, but the underlying problem still persists. Here's another problematic program.

module time {}

method Main(){
     print "done\n";
}

They are all reserved by the GO standard library. I would prefer to merge a more comprehensive fix.