|
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
|