plutus icon indicating copy to clipboard operation
plutus copied to clipboard

Replace `NOINLINE` with `OPAQUE`

Open effectfully opened this issue 1 year ago • 0 comments

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.

effectfully avatar Jun 28 '24 11:06 effectfully