| Copyright | (c) 2017 Finn Teegen 2018 Kai-Oliver Prott |
|---|---|
| License | BSD-3-clause |
| Maintainer | fte@informatik.uni-kiel.de |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Generators.GenTypeAnnotatedFlatCurry
Description
This module contains the generation of a type-annotated FlatCurry
program term for a given module in the intermediate language.
Documentation
genTypeAnnotatedFlatCurry :: CompilerEnv -> Module Type -> Module -> AProg TypeExpr Source #