C# compilation error on a function returning complex sequence #1326
Labels
kind: bug
Crashes, unsoundness, incorrect output, etc. If possible, add a `part:` label
lang: c#
Dafny's C# transpiler and its runtime
part: code-generation
Support for transpiling Dafny to another language. If relevant, add a `lang:` tag
I apologize for this complex code, but this is the most I can minimize without losing the bug.
It compiles fine to Java, Go, and JS, but errors on C# with the following error message:
The text was updated successfully, but these errors were encountered: