Jikka.Core.Convert.ArithmeticExpr

Documentation

run :: MonadError Error m => Program -> m Program

run sorts arithmetical exprs.

Examples

Before:

1 + a * 1 + b - b

After:

a + 1

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