CurryInfo: cpm-3.3.0 / CPM.Diff.Behavior.diffBehavior

definition: 
diffBehavior :: Config
             -> Repository
             -> GC.GlobalCache
             -> ComparisonInfo
             -> Bool
             -> Bool
             -> Maybe [String]
             -> ErrorLogger ()
diffBehavior cfg repo gc info groundequiv useanalysis cmods = do
  baseTmp <- liftIOEL getBaseTemp
  (acyCache, loadpath, funcs, removed) <-
    findFunctionsToCompare cfg repo gc (infSourceDirA info) (infSourceDirB info)
                          useanalysis cmods
  let filteredFuncs =
        maybe funcs
              (\mods -> filter ((`elem` mods) . fst . funcName . snd) funcs)
              cmods
      filteredNames = map snd filteredFuncs
  logDebug ("Filtered operations to be checked: " ++
                  showFuncNames filteredNames)
  case funcs of
    [] -> liftIOEL (printRemoved removed >> return ())
    _  -> do
      liftIOEL $ do
         putStrLn infoText
         printRemoved removed
         putStrLn $
           "Comparing operations " ++ showFuncNames filteredNames ++ "\n"
      genCurryCheckProgram cfg repo gc filteredFuncs info groundequiv
                            acyCache loadpath
      callCurryCheck cfg info baseTmp
 where
   printRemoved removed =
     if null removed then return ()
                     else putStrLn (renderRemoved removed) >> putStrLn ""
demand: 
no demanded arguments
deterministic: 
deterministic operation
documentation: 
--- Compare the behavior of two package versions using CurryCheck.
---
--- @param cfg - the CPM configuration
--- @param repo - the central package index
--- @param gc - the global package cache
--- @param info - the comparison info obtained from preparePackageDirs
--- @param groundequiv - test ground equivalence only?
--- @param useanalysis - use program analysis to filter non-term. operations?
--- @param mods - a list of modules to compare
indeterministic: 
might be indeterministic
infix: 
no fixity defined
iotype: 
{(_,_,_,_,_,_,_) |-> _}
name: 
diffBehavior
precedence: 
no precedence defined
result-values: 
_
signature: 
CPM.Config.Config -> CPM.Repository.Repository
-> CPM.PackageCache.Global.GlobalCache -> ComparisonInfo -> Prelude.Bool
-> Prelude.Bool -> Prelude.Maybe [String] -> CPM.ErrorLogger.ErrorLogger ()
solution-complete: 
operation might suspend on free variables
terminating: 
possibly non-terminating
totally-defined: 
possibly non-reducible on same data term