IntersectMBO / IntersectMBO/plutus
`PlutusTx.Foldable.foldMap`, `PlutusTx.AssocMap.<>` and `PlutusTx.AssocMap.mempty` are non INLINEABLE
- Dominant language
- Haskell
- Stars
- 1.6k
- Forks
- 508
- Avg merge
- 3d 10h
- Merged PRs (30d)
- 22
Description
Hello,
It seems that `foldMap` become non `INLINEABLE` when it was moved out from the `Foldable` class into a stand alone function. Here is the current version:
https://github.com/IntersectMBO/plutus/blob/master/plutus-tx/src/PlutusTx/Foldable.hs#L86
The other two mentioned instances in the title for `AssocMap` provide `instance` without `INLINEABLE` pragmas:
https://github.com/IntersectMBO/plutus/blob/b559899fce0404ea7dbbe063dc74159e2642c03c/plutus-tx/src/PlutusTx/AssocMap.hs#L211
All the above cause hard to digest and unexpected (at least to me) errors.
If those are bugs they could be rather easily catched if they were compiled using Plutus plugin template Haskell.
Could you please tell me if all those missing prgmas are deliberate?
Contributor guide
Assessment
This issue has not been assessed yet.