Copyright | (c) 2011 Björn Peemöller (bjp@informatik.uni-kiel.de) |
---|---|
License | BSD-3-clause |
Maintainer | bjp@informatik.uni-kiel.de |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
Transformations
Description
This module subsumes the different transformations of the source code.
Documentation
desugar :: CompEnv Module -> CompEnv Module Source #
Remove any syntactic sugar, changes the value environment.
simplify :: CompEnv Module -> CompEnv Module Source #
Simplify the source code, changes the value environment.
lift :: CompEnv Module -> CompEnv Module Source #
Lift local declarations, changes the value environment.