CurryInfo: cass-4.1.0 / CASS.WorkerFunctions.execCombinedAnalysis

execCombinedAnalysis ::
  (Eq a, Read a) => CConfig -> Analysis a -> Prog -> ProgInfo a -> [(QName,a)]
                 -> String -> String -> IO (ProgInfo a)
execCombinedAnalysis cc analysis prog importInfos startvals moduleName
                     fpmethod =
 case analysis of
  CombinedSimpleFuncAnalysis _ ananame _ runWithBaseAna -> do
    anaFunc <- runWithBaseAna moduleName
    runAnalysis cc (SimpleFuncAnalysis ananame anaFunc)
                prog importInfos startvals fpmethod
  CombinedSimpleTypeAnalysis _ ananame _ runWithBaseAna -> do
    anaFunc <- runWithBaseAna moduleName
    runAnalysis cc (SimpleTypeAnalysis ananame anaFunc)
                prog importInfos startvals fpmethod
  CombinedDependencyFuncAnalysis _ ananame _ startval runWithBaseAna -> do
    anaFunc <- runWithBaseAna moduleName
    runAnalysis cc (DependencyFuncAnalysis ananame startval anaFunc)
                prog importInfos startvals fpmethod
  CombinedDependencyTypeAnalysis _ ananame _ startval runWithBaseAna -> do
    anaFunc <- runWithBaseAna moduleName
    runAnalysis cc (DependencyTypeAnalysis ananame startval anaFunc)
                prog importInfos startvals fpmethod
  _ -> error "Internal error in WorkerFunctions.execCombinedAnalysis"

argument 4

deterministic operation

-----------------------------------------------------------------------

<FAILING>

referentially transparent operation

no fixity defined

{(_,_,_,{CombinedSimpleFuncAnalysis},_,_,_,_,_) |-> _ || (_,_,_,{CombinedSimpleTypeAnalysis},_,_,_,_,_) |-> _ || (_,_,_,{CombinedDependencyFuncAnalysis},_,_,_,_,_) |-> _ || (_,_,_,{CombinedDependencyTypeAnalysis},_,_,_,_,_) |-> _ || (_,_,_,{SimpleFuncAnalysis},_,_,_,_,_) |-> _ || (_,_,_,{SimpleTypeAnalysis},_,_,_,_,_) |-> _ || (_,_,_,{SimpleConstructorAnalysis},_,_,_,_,_) |-> _ || (_,_,_,{DependencyFuncAnalysis},_,_,_,_,_) |-> _ || (_,_,_,{DependencyTypeAnalysis},_,_,_,_,_) |-> _ || (_,_,_,{SimpleModuleAnalysis},_,_,_,_,_) |-> _ || (_,_,_,{DependencyModuleAnalysis},_,_,_,_,_) |-> _}

execCombinedAnalysis

no precedence defined

_

(Prelude.Eq a, Prelude.Read a) => CASS.Configuration.CConfig
-> Analysis.Types.Analysis a -> FlatCurry.Types.Prog
-> Analysis.ProgInfo.ProgInfo a -> [((String, String), a)] -> String -> String
-> Prelude.IO (Analysis.ProgInfo.ProgInfo a)

operation might suspend on free variables

possibly non-terminating

possibly non-reducible on same data term