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 #