Transform ICurry to Extended ICurry
Author: Marc Andre Wittorf
extractDepInfoFromI
:: IProg -> (String,DepInfo)
Get all defined names from an ICurry module |
i2eProg
:: [(String,DepInfo)] -> IProg -> IEProg
Transform an ICurry module to an Extended ICurry module |
Get all defined names from an ICurry module
|