Plutus.V1.Ledger.Value uses OverloadedLists

[phadej]

Summary

... and sometimes when GHC does (or doesn't) something the code using that module fails to compile:

GHC Core to PLC plugin: E042:Error: Unsupported feature: Irreducible type family application: GHC.Exts.Item
Context: Compiling type: GHC.Exts.Item
                           [(Plutus.V1.Ledger.Value.CurrencySymbol,
                             PlutusTx.AssocMap.Map
                               Plutus.V1.Ledger.Value.TokenName GHC.Integer.Type.Integer)]

cc @brunjlar

Steps to reproduce the behavior

write scripts. In case I see, GHC produces coercions from [GHC.Exts.Item ...] to [(CurrencySymbol, AssocMap TokenName Integer)]. In other words, GHC doesn't see any reason to reduce Item type-family as it is just an intermediate type.

Actual Result

Expected Result

compilation works.

Describe the approach you would take to fix this

don't use OverloadedLists in plutus code.

System info

[phadej]

We are constantly hit by this bug. It's hard to reproduce as it seems to happen in incremental builds.

Please don't use OverloadedLists in plutus code (or make plutux-tx-plugin able to handle it).

[bezirg]

This is is resolved in master.

[KristianBalaj]

@bezirg Could you please link to a PR/commit that fixed this issue?

[bezirg]

@KristianBalaj it is the commit 4e0d6ed . The file change is 4e0d6ed#diff-3b8075ee5603b10864a2c007bce39918b864164c81b94315607541f634203990

[bezirg]

@KristianBalaj Do you still run into a similar issue and needs to be reopened?

[KristianBalaj]

@bezirg sorry for the late reply, I've missed a notification.

No need to reopen I've checked whether the 4e0d6ed commit hash is in the git log of this commit of plutus we're using a56c965
It seems it's not. So it's okay that we're still experiencing the error.