fortran-src-0.2.1.1: Parser and anlyses for Fortran standards 66, 77, 90 and 95.

Safe HaskellNone
LanguageHaskell2010

Language.Fortran.Analysis.Types

Synopsis

Documentation

analyseTypes :: Data a => ProgramFile (Analysis a) -> (ProgramFile (Analysis a), TypeEnv) Source #

Annotate AST nodes with type information and also return a type environment mapping names to type information.

analyseTypesWithEnv :: Data a => TypeEnv -> ProgramFile (Analysis a) -> (ProgramFile (Analysis a), TypeEnv) Source #

Annotate AST nodes with type information and also return a type environment mapping names to type information; provided with a starting type environment.

type TypeEnv = Map Name IDType Source #

Mapping of names to type information.