| definition: |
verifyNonFailingModules :: Options -> [String] -> [String] -> IO ()
verifyNonFailingModules _ _ [] = return ()
verifyNonFailingModules opts verifiedmods (mod:mods)
| mod `elem` verifiedmods
= verifyNonFailingModules opts verifiedmods mods
| optRec opts
= do (Prog _ imps _ _ _) <- readFlatCurryInt mod
let newimps = filter (`notElem` verifiedmods) imps
if null newimps
then do printWhenStatus opts ""
verifyNonFailingMod opts mod
verifyNonFailingModules opts (mod:verifiedmods) mods
else verifyNonFailingModules opts verifiedmods
(newimps ++ mod : (mods \\ newimps))
| otherwise -- non-recursive
= do verifyNonFailingMod opts mod
verifyNonFailingModules opts (mod:verifiedmods) mods
|
| demand: |
argument 3 |
| deterministic: |
deterministic operation |
| indeterministic: |
might be indeterministic |
| infix: |
no fixity defined |
| name: |
verifyNonFailingModules |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
ToolOptions.Options -> [String] -> [String] -> Prelude.IO () |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |