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

[paluh]

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:

plutus/plutus-tx/src/PlutusTx/AssocMap.hs

Line 211 in b559899

instance (Eq k, Semigroup v) => Semigroup (Map k v) where

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?

[paluh]

Should I provide a tiny PR?

[zliu41]

Yes, PR welcome!