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

Language.Fortran.Vars.Utils

Synopsis

Documentation

typeSpecToArrayType :: SymbolTable -> [DimensionDeclarator (Analysis a)] -> TypeSpec (Analysis a) -> Type Source #

Given dimenion declarators and the typespec, give ArrayTypeData evaluating valid expressions for the upper and lower bound

typeSpecToScalarType :: SymbolTable -> TypeSpec (Analysis a) -> Type Source #

Given the typespec of a scalar get the StaticType