Documentation

type RfEqState = ([[Expr Annotation]], Int, Report) Source

refactorEquivalences :: (Filename, Program Annotation) -> (Report, (Filename, Program Annotation)) Source

addCopy :: (?fname :: String) => TypeEnv Annotation -> Fortran Annotation -> State RfEqState (Fortran Annotation) Source

rmEquivalences :: (?fname :: String) => Block Annotation -> State RfEqState (Block Annotation) Source

equivalents :: (?fname :: String) => Expr Annotation -> State RfEqState [Expr Annotation] Source