|
definition:
|
callPreprocessors :: PPOpts -> String -> String -> String -> String
-> IO String
callPreprocessors opts optlines modname srcprog orgfile
| ForeignCode `elem` pptargets
= do icouttxt <- translateIntCode verb (optModel opts) orgfile srcprog
if null (intersect [DefaultRules, Contracts] pptargets)
then return icouttxt -- no further preprocessors
else do writeFile orgfile icouttxt
let rpptargets = delete ForeignCode pptargets
callPreprocessors opts {optTgts = rpptargets}
optlines modname icouttxt orgfile
| DefaultRules `elem` pptargets
= do -- specific handling since DefaultRules requires and process
-- untyped Curry but Contracts requires typed Curry:
mbdefprog <- readUntypedCurry modname >>=
translateDefaultRulesAndDetOps verb defopts srcprog
let newsrcprog = maybe srcprog showCProg mbdefprog
if Contracts `elem` pptargets
then do
maybe (return ())
(\defprog -> writeFile orgfile (optlines ++ showCProg defprog))
mbdefprog
readCurry modname >>= translateContracts verb contopts modname
srcprog
>>= return . maybe newsrcprog showCProg
else return newsrcprog
| Contracts `elem` pptargets
= readCurry modname >>= translateContracts verb contopts modname srcprog
>>= return . maybe srcprog showCProg
| otherwise
= error "currypp internal error during dispatching"
where
pptargets = optTgts opts
verb = optVerb opts
defopts = optDefRules opts
contopts = optContracts opts
|
|
demand:
|
no demanded arguments
|
|
deterministic:
|
deterministic operation
|
|
documentation:
|
-- Invoke the various preprocessors. The arguments are:
-- * the preprocessor options
-- * the parser options lines to be added if the source text is written
-- * the name of the module
-- * the source text of the module (maybe modified by the code integrator)
-- * the file name of the original module (to overwrite it by some pass)
|
|
indeterministic:
|
might be indeterministic
|
|
infix:
|
no fixity defined
|
|
name:
|
callPreprocessors
|
|
precedence:
|
no precedence defined
|
|
result-values:
|
_
|
|
signature:
|
PPOpts -> String -> 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
|