Giters

IntersectMBO / plutus

The Plutus language implementation and tools

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Do we compile mutually recursive functions correctly?

effectfully opened this issue · comments

commented

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.