| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Fortran.Analysis.Types
- analyseTypes :: Data a => ProgramFile (Analysis a) -> (ProgramFile (Analysis a), TypeEnv)
- type TypeEnv = Map Name IDType
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.