| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Gibbon.Passes.InlineTriv
Contents
Description
Compiler pass to inline trivials.
Synopsis
- inlineTriv :: HasSimplifiable e l d => Prog (PreExp e l d) -> PassM (Prog (PreExp e l d))
- inlineTrivExp :: forall e l d. HasSimplifiable e l d => ExpEnv e l d -> PreExp e l d -> PreExp e l d
Documentation
inlineTriv :: HasSimplifiable e l d => Prog (PreExp e l d) -> PassM (Prog (PreExp e l d)) Source #
Inline trivial let bindings (binding a var to a var or int), mainly to clean up
the output of flatten.
inlineTrivExp :: forall e l d. HasSimplifiable e l d => ExpEnv e l d -> PreExp e l d -> PreExp e l d Source #
Orphan instances
| HasSimplifiable e l d => Simplifiable (PreExp e l d) Source # | |