Replace `NOINLINE` with `OPAQUE`

IntersectMBO / plutus

The Plutus language implementation and tools

Apache License 2.0

1.57k stars 480 forks source link

Replace `NOINLINE` with `OPAQUE` #6269

Closed effectfully closed 1 week ago

effectfully commented 3 months ago

We should replace all occurrences of NOINLINE with OPAQUE, because the former doesn't actually prevent inlining. See also the original proposal to introduce OPAQUE.

Once this is done we should check if that's enough to consider #4193 done.