curry-frontend-0.4.2: Lexer, parser, type checker, etc. for the Curry language

Copyright(c) 2011, Björn Peemöller (bjp@informatik.uni-kiel.de)
LicenseBSD-3-clause
Maintainerbjp@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Transformations

Description

This module subsumes the different transformations of the source code.

Synopsis

Documentation

qual :: CompEnv Module -> CompEnv Module Source #

Fully qualify used constructors and functions.

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.

ilTrans :: CompEnv Module -> CompEnv Module Source #

Translate into the intermediate language

transType :: Type -> Type Source #

Translate a type into its representation in the intermediate language

completeCase :: CompEnv Module -> CompEnv Module Source #

Add missing case branches