[snipe.git] / optimize / feckful.sml

structure FeckfulnessAnalysis :> OPTIMIZATION =
struct
  structure T = Tree
  structure TU = TreeUtils
  
  fun feckstm (a as T.EFFECT e) =
        if (TU.effect e)
        then [a]
        else []
    | feckstm a = [a]
  
  val optimizer = { shortname = "feckfulness", description = "Removes simple side effect statements that have no effect", func = Optimizer.IRSTM feckstm }
end