dafny-lang / dafny

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

Fix: No new resolver crash with partially resolved datatype update expressions #5440

Open MikaelMayer opened 2 weeks ago

MikaelMayer commented 2 weeks ago

Fixes #5331 Fixes #5365

The only part that fixes the issue is the last line end of the file PreTypeResolve.Expressions.cs, the rest is an automated conversion If/then/else to a switch statement that helped debugging and makes the code easier to maintain.

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