| definition: |
translateIntCode :: Int -> String -> String -> String -> IO String
translateIntCode verb model fname s = do
pinfo <- tryReadParserInfoFile verb model fname
stw <- concatAllIOPM $ applyLangParsers pinfo
$ ciparser fname s
putStr (formatWarnings (getWarningsPM stw))
escapePR (discardWarningsPM stw) formatErrors
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
--- Translates a string containing a Curry program with Integrated Code --- into a string with pure Curry code. --- The second argument is, if non-empty, the name of an info file containing --- information about the data model in case of integrated SQL code. --- @param verb - verbosity level --- @param model - name of file containing information about the datamodel --- in case of SQL, an empty string otherwise --- @param fname - The name of the original Curry file --- @param s - The string that should be translated --- @return The translated string |
| failfree: |
<FAILING> |
| indeterministic: |
might be indeterministic |
| infix: |
no fixity defined |
| iotype: |
{(_,_,_,_) |-> _}
|
| name: |
translateIntCode |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
Prelude.Int -> String -> String -> String -> Prelude.IO String |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |