Closed KtorZ closed 5 months ago
1.0.25-alpha <--> 1.0.26-alpha
See: https://github.com/aiken-lang/aiken/issues/907#issuecomment-2053567458
In this example, there's no need for the MillerLoopResult to be serializable so it should type-check just fine.
What Git revision are you using?
1.0.25-alpha <--> 1.0.26-alpha
What operating system are you using, and which version?
Describe what the problem is?
See: https://github.com/aiken-lang/aiken/issues/907#issuecomment-2053567458
What should be the expected behavior?
In this example, there's no need for the MillerLoopResult to be serializable so it should type-check just fine.