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.

Download

Checkout with CPM:

cypm checkout flatcurry-elim-newtype 1.0.0

Package source:

flatcurry-elim-newtype-1.0.0.tar.gz [browse]

Source repository:

https://github.com/curry-packages/flatcurry-elim-newtype.git