Language.HERMIT.Primitive.Local.Let

Rewrites on Let Expressions

externals :: [External]

Externals relating to Let expressions.

letIntro :: Name -> RewriteH CoreExpr

e => (let v = e in v), name of v is provided

letFloatApp :: RewriteH CoreExpr

(let v = ev in e) x ==> let v = ev in e x

letFloatArg :: RewriteH CoreExpr

f (let v = ev in e) ==> let v = ev in f e

letFloatLet :: RewriteH CoreExpr

letFloatExpr :: RewriteH CoreExpr

Float a Let through an expression, whatever the context.

letFloatLetTop :: RewriteH CoreProgram

NonRec v (Let (NonRec w ew) ev) : bds ==> NonRec w ew : NonRec v ev : bds

letToCase :: RewriteH CoreExpr

let v = ev in e ==> case ev of v -> e