CurryInfo: icurry-3.2.0 / ICurry.Compiler.flatCurry2ICurryWithProgs
definition: 
|
flatCurry2ICurryWithProgs :: ICOptions -> [Prog] -> Prog -> IO IProg flatCurry2ICurryWithProgs opts impprogs prog = flatCurry2ICurryWithProgsAndOptions opts impprogs prog >>= return . snd |
|
demand:
|
no demanded arguments |
|
deterministic:
|
deterministic operation |
|
documentation:
|
Translates a FlatCurry program into an ICurry program where some FlatCurry interfaces are provided. It also reads the interfaces of imported modules, if not already provided, in order to access their data and function declarations. |
|
failfree:
|
<FAILING> |
|
indeterministic:
|
referentially transparent operation |
|
infix:
|
no fixity defined |
|
iotype:
|
{(_,_,_) |-> _}
|
|
name:
|
flatCurry2ICurryWithProgs |
|
precedence:
|
no precedence defined |
|
result-values:
|
_ |
|
signature:
|
ICurry.Options.ICOptions -> [FlatCurry.Types.Prog] -> FlatCurry.Types.Prog -> Prelude.IO ICurry.Types.IProg |
|
solution-complete:
|
operation might suspend on free variables |
|
terminating:
|
possibly non-terminating |
|
totally-defined:
|
possibly non-reducible on same data term |