Jikka.Core.Convert.RemoveUnusedVars

RemoveUnusedVars remove unused variables from exprs.

Documentation

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

run removes unused variables in given programs.

This also removes variables for recursion, i.e. "rec" flags. ToplevelLetRec may becomes ToplevelLet.

For example, this converts

let rec solve x =
    let y = 0
    in x
in solve

to

let solve x =
    x
in solve

run' :: Program -> Program