dependencies: 
|
[Dependency "base" [[VGte "3.0.0",VLt "4.0.0"]],Dependency "flatcurry" [[VGte "5.0.0",VLt "6.0.0"]],Dependency "flatcurry-addtypes" [[VGte "1.0.0",VLt "2.0.0"]]]
|
|
documentation:
|
flatcurry-elim-newtype
======================
This packages contains the library `FlatCurry.ElimNewtype` which
defines operations to eliminate definitions and uses
of `newtype` in a FlatCurry program.
If there is a declaration of the form
newtype NTYPE a1...an = NTCONS te
in a Curry program, the following transformations are preformed:
* Replace the `newtype` declaration by a `data` declaration.
* Every type application `(NTYPE t1...tn)` is replaced by
`{a1 |-> t1,..., an |-> tn}(te)`
except for occurrences in instance definitions, i.e., operations
named by `_inst#...`.
* A constructor application `(NTCONS e)` is replaced by `e`.
* A partial constructor application `(NTCONS)` is replaced by
`(Prelude.id)`.
* A case expression `(f)case x of { NTCONS y -> e}` is replaced by
`{y |-> x}(e)`.
The implementation requires also the interfaces of imported modules
to find all uses of `newtype` in the module to be transformed.
Furthermore, types are reconstructed in the FlatCurry program
since one transformation requires type information.
|