Unfoldings are less exposed

[L-as]

See e.g. IntersectMBO/plutus#4651

In addition, internally at MLabs we have plutus-tx projects that work with cabal build, but when building with haskell.nix, it gives the following non-sense error message:

GHC Core to PLC plugin: E043:Error: Reference to a name which is not a local, a builtin, or an external INLINABLE function: Variable PlutusTx.Base.$

$ is marked as INLINABLE: https://github.com/input-output-hk/plutus/blob/ab3d01280109c1b5d1522f9bae475f5984fbc055/plutus-tx/src/PlutusTx/Base.hs#L26

I don't have a minimal reproducible example unfortunately.

[L-as]

I wonder how much performance we're missing out on.

[hamishmack]

This might be a problem with one of the GHC patches haskell.nix applies. Perhaps the unboxed tuple one?

I don't have a minimal reproducible example unfortunately.

A large one would be fine. I've looked on hydra logs in https://hydra.iohk.io/jobset/Cardano/plutus, https://hydra.iohk.io/jobset/Cardano/plutus-pr-4552 and https://hydra.iohk.io/jobset/Cardano/plutus-pr-4651, but could not find the error in question anywhere.

[L-as]

This might be a problem with one of the GHC patches haskell.nix applies. Perhaps the unboxed tuple one?

I don't have a minimal reproducible example unfortunately.

A large one would be fine. I've looked on hydra logs in https://hydra.iohk.io/jobset/Cardano/plutus, https://hydra.iohk.io/jobset/Cardano/plutus-pr-4552 and https://hydra.iohk.io/jobset/Cardano/plutus-pr-4651, but could not find the error in question anywhere.

The PR doesn't err, it just doesn't inline the function.

[hamishmack]

So if I revert that PR and run something will it break? What should I run?

[L-as]

I'm not sure what a could way to detect this would be, @michaelpj has more experience with this.

[L-as]

With Plutus projects, it's very common to do doHaddock = false on various dependencies, and it seems to be related to this too.

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

[L-as]

This is definitely still an issue, and also quite important.

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.