| Copyright | (c) 1999 - 2003 Wolfgang Lux Martin Engelke 2011 - 2015 Björn Peemöller 2015 Jan Tikovsky 2016 - 2017 Finn Teegen |
|---|---|
| License | BSD-3-clause |
| Maintainer | bjp@informatik.uni-kiel.de |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell2010 |
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.