IntersectMBO / IntersectMBO/plutus

`PlutusTx.Foldable.foldMap`, `PlutusTx.AssocMap.<>` and `PlutusTx.AssocMap.mempty` are non INLINEABLE

Open
#7,512 2 comments 0 reactions 0 assignees View on GitHub
bug status: triaged
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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.