Safe Haskell | None |
---|---|
Language | Haskell2010 |
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.