| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
PlutusIR.Transform.DeadCode
Description
Optimization passes for removing dead code, mainly dead let bindings.
Synopsis
- removeDeadBindings :: ( HasUnique name TermUnique , ToBuiltinMeaning uni fun, MonadQuote m) => Term TyName name uni fun a -> m ( Term TyName name uni fun a)
Documentation
removeDeadBindings :: ( HasUnique name TermUnique , ToBuiltinMeaning uni fun, MonadQuote m) => Term TyName name uni fun a -> m ( Term TyName name uni fun a) Source #
Remove all the dead let bindings in a term.