CurryInfo: icurry-3.2.0 / ICurry.Interpreter.execProg
definition: 
|
execProg :: IOptions -> String -> String -> IO ([TG.State]) execProg opts progname fname = do iprog <- icCompile defaultICOptions progname execIProg opts iprog fname |
|
demand:
|
no demanded arguments |
|
deterministic:
|
deterministic operation |
|
documentation:
|
--------------------------------------------------------------------------- An interpreter for a single Curry program based on translating them into ICurry. The program name and the unqualified name of the main function must be provided as string arguments. It also prints intermediate steps, PDFs, etc. accordding to the options. |
|
failfree:
|
<FAILING> |
|
indeterministic:
|
referentially transparent operation |
|
infix:
|
no fixity defined |
|
iotype:
|
{(_,_,_) |-> _}
|
|
name:
|
execProg |
|
precedence:
|
no precedence defined |
|
result-values:
|
_ |
|
signature:
|
IOptions -> String -> String -> Prelude.IO [TermGraph.XML.State] |
|
solution-complete:
|
operation might suspend on free variables |
|
terminating:
|
possibly non-terminating |
|
totally-defined:
|
possibly non-reducible on same data term |