Module ICurry.C2I

Compile Typed FlatCurry to ICurry

Author: Marc Andre Wittorf

Summary of exported operations:

flatToI :: [((String,String),(TypeExpr,[Int]))] -> AProg TypeExpr -> IProg   
Transform an annotated-flatcurry program into an icurry program

Exported operations:

flatToI :: [((String,String),(TypeExpr,[Int]))] -> AProg TypeExpr -> IProg   

Transform an annotated-flatcurry program into an icurry program

Example call:
(flatToI ms prog)
Parameters:
  • ms : the required type arguments
  • prog : the FlatCurry module
Returns:
the ICurry module