IntersectMBO / IntersectMBO/plutus
Do we compile mutually recursive functions correctly?
Open
Evaluation
Internal
Plutus IR
status: triaged
- Dominant language
- Haskell
- Stars
- 1.6k
- Forks
- 508
- Avg merge
- 3d 10h
- Merged PRs (30d)
- 22
Description
In #5961 we learned that we used to compile singly recursive functions incorrectly due to accidental laziness in the `fix` combinator. What about `fixBy` though? Do we have the same issue there or not? This ticket is for figuring it out.
Contributor guide
Assessment
This issue has not been assessed yet.