search

IntersectMBO / plutus

The Plutus language implementation and tools
Apache License 2.0
1.57k stars 479 forks source link

Support mutually recursive datatypes in PIR #6020

Open bezirg opened 6 months ago

bezirg commented 6 months ago

mpj wrote: We know how to do this, just a matter of implementing it.

bezirg commented 6 months ago

Michael Peyton Jones April 7, 2020 at 3:09 PM

Roman is going to work on this in the end, as he has a lot of context. Nikos is going to help, though, and do the Plutus IR compiler side.

Michael Peyton Jones April 7, 2020 at 3:10 PM

Actually, I think that's going to happen in the PLC library, so I'll leave this open for the PIR work and make a separate one for the PLC stuff.

Michael Peyton Jones April 24, 2020 at 10:30 AM

Didn't get to blocking issue either, returning to backlog.