plutus-core-0.1.0.0: Language library for Plutus Core
Safe HaskellNone
LanguageHaskell2010

PlutusIR.Transform.DeadCode

Description

Optimization passes for removing dead code, mainly dead let bindings.

Synopsis

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.