Language.PureScript.DCE.Eval

Evaluation of PureScript's expressions used in dead call elimnation.

Documentation

evaluate :: [Module Ann] -> [Module Ann]

Evaluate expressions in a module:

• Data.Eq.eq of two literals
• Data.Array.index on a literal array
• Object accessors
• Semigroup operations (Array, String, Unit)
• Semiring operations (Unit, Unit, Unit)

Keep stack of local identifiers from let and case expressions, ignoring the ones that are comming from abstractions (we are not reducing applications).