Jikka.Core.Convert.Alpha

Documentation

run :: (MonadAlpha m, MonadError Error m) => Program -> m Program

run renames variables in exprs to avoid name conflictions, even if the scopes of two variables are distinct.

Examples

Before:

let x = 0
in y = x + x
in x = x + y
x + y

After:

let x0 = 0
in y1 = x0 + x0
in x2 = x0 + y1
x2 + y1

runProgram :: (MonadAlpha m, MonadError Error m) => Program -> m Program

runToplevelExpr :: (MonadAlpha m, MonadError Error m) => [(VarName, Type)] -> ToplevelExpr -> m ToplevelExpr

runExpr :: (MonadAlpha m, MonadError Error m) => [(VarName, Type)] -> Expr -> m Expr