search

IntersectMBO / plutus

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

See if we can compile data instances #5990

Closed zliu41 closed 4 months ago

zliu41 commented 5 months ago

It is reported in https://github.com/IntersectMBO/plutus/issues/5768 that using data families leads to the “Irreducible type family application” error. We may be able to compile data instances by ignoring data family declarations. It’s worth checking if it can be made to work.

Extricated from https://input-output.atlassian.net/browse/PLT-9514

effectfully commented 5 months ago

I don't understand why we need this issue. And the one that it refers to is basically the same? And is closed?

effectfully commented 4 months ago

I'm concluding that this issue is not needed, since it's just a GitHub issue ported to Jira ported back to GitHub, hence I'm closing it.