Bad encoding for this
in tail recursive functions when compiling to Java
#5532
Labels
during 2: compilation of correct program
Dafny rejects a valid program during compilation
kind: bug
Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label
lang: java
Dafny's Java transpiler and its runtime
priority: not yet
Will reconsider working on this when we're looking for work
Dafny version
master
Code to produce this issue
Command to run and resulting output
No response
What happened?
Java lambdas don't support the way we use them.
What type of operating system are you experiencing the problem on?
Mac
The text was updated successfully, but these errors were encountered: