Camfort.Transformation.EquivalenceElim

Documentation

type A1 = Analysis Annotation

type RmEqState = ([[Expression A1]], Int, Report)

refactorEquivalences :: (Filename, ProgramFile A) -> (Report, (Filename, ProgramFile A))

addCopysPerBlockGroup :: TypeEnv -> [Block A1] -> State RmEqState [Block A1]

addCopysPerBlock :: TypeEnv -> Block A1 -> State RmEqState [Block A1]

equalTypes :: Eq b => Map Name b -> Expression a -> Expression a1 -> Maybe b

mkCopy :: TypeEnv -> Position -> Expression A1 -> Expression A1 -> Block A1

perBlockRmEquiv :: Block A1 -> State RmEqState (Block A1)

perStatementRmEquiv :: Statement A1 -> State RmEqState (Statement A1)

equivalentsToExpr :: Expression A1 -> State RmEqState [Expression A1]