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

Language.Fortran.Vars.Assignments

Synopsis

Documentation

allAssignStmts :: forall a. Data a => ProgramUnit (Analysis a) -> [Either TypeError (Type, Expression (Analysis a))] Source #

Method to retrieve the type of the lhs and expression on the rhs of all assign like statements: expression assign, parameter, data and declarations It returns the type of the lhs due to the expansion of array types to scalar types in datagroups and declarations and returns TypeError's for the expressions it can't calculate.