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

Copyright(c) 1999 - 2003 Wolfgang Lux Martin Engelke 2011 - 2015 Björn Peemöller 2015 Jan Tikovsky
LicenseBSD-3-clause
Maintainerbjp@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Transformations.CurryToIL

Description

After desugaring and lifting have been performed, the source code is translated into the intermediate language. Besides translating from source terms and expressions into intermediate language terms and expressions, this phase in particular has to implement the pattern matching algorithm for equations and case expressions.

Because of name conflicts between the source and intermediate language data structures, we can use only a qualified import for the IL module.

Documentation