fortran-src-0.4.3: Parsers and analyses 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.

analyseAndCheckTypesWithEnv :: Data a => TypeEnv -> ProgramFile (Analysis a) -> (ProgramFile (Analysis a), TypeEnv, [TypeError]) Source #

Annotate AST nodes with type information, return a type environment mapping names to type information and return any type errors found; provided with a starting type environment.

type TypeEnv = Map Name IDType Source #

Mapping of names to type information.

type TypeError = (String, SrcSpan) Source #

Information about a detected type error.