Safe Haskell | None |
---|---|
Language | Haskell2010 |
- 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.