fortran-vars-0.4.0: Fortran memory model and other static analysis tools.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Fortran.Vars.Equivalence

Synopsis

Documentation

processEquivalence :: Data a => [Statement (Analysis a)] -> ProgramUnitModel -> ProgramUnitModel Source #

Given a list of all the Statements in the program and a ProgramUnitModel, produce a new ProgramUnitModel that accounts for any of the FORTRAN equivalences that were found in the ProgramUnit