CurryInfo: property-prover-2.0.0 / Main.verifyModules

definition: 
verifyModules :: [String] -> [String] -> VStateM ()
verifyModules _            []           = return ()
verifyModules verifiedmods (mod : mods)
  | mod `elem` verifiedmods = verifyModules verifiedmods mods
  | otherwise = do
      isRec <- getOption optRec
      if isRec
        then do
          (Prog _ imps _ _ _) <- lift $ readFlatCurryInt mod
          let newimps = filter (`notElem` verifiedmods) imps
          if null newimps
            then do
              printWhenStatus ""
              verifyMod mod
              verifyModules (mod : verifiedmods) mods
            else
              verifyModules verifiedmods $ newimps ++ mod : (mods \\ newimps)
        else do
          verifyMod mod
          verifyModules (mod : verifiedmods) mods
demand: 
argument 2
deterministic: 
deterministic operation
indeterministic: 
might be indeterministic
infix: 
no fixity defined
name: 
verifyModules
precedence: 
no precedence defined
result-values: 
_
signature: 
[String] -> [String]
-> Control.Monad.Trans.State.StateT VerifierState.VState Prelude.IO ()
solution-complete: 
operation might suspend on free variables
terminating: 
possibly non-terminating
totally-defined: 
possibly non-reducible on same data term