CurryInfo: nonstrictunif-optimize-3.0.0 / CurryBrowseAnalysis.Dependency.analyseWithDependencies

 
analyseWithDependencies :: (FuncDecl->a) -> ([a]->a) -> [FuncDecl] -> [(QName,a)]
analyseWithDependencies funproperty combine funs = map anaFun alldeps
  where
    anaFun (name,depfuns) = (name, combine (map (lookupProp funprops) (name:depfuns)))

    funprops = map (\f->(funcName f, funproperty f)) funs

    alldeps = indirectlyDependent funs

    lookupProp :: [(QName,a)] -> QName -> a
    lookupProp fprops fun = fromJust (lookup fun fprops)

    funcName (Func fname _ _ _ _) = fname

 argument 3

 deterministic operation

 
Generic global function analysis where the property of each function is a combination
of a property of the function and all its dependent functions.
1. parameter: a function that associates a property to each function declaration
2. parameter: an operation to combine the properties of function/dependent functions

 <FAILING>

 referentially transparent operation

 no fixity defined

 {(_,_,_) |-> {:,[]}}

 analyseWithDependencies

 no precedence defined

 {:,[]}

 (FlatCurry.Types.FuncDecl -> a) -> ([a] -> a) -> [FlatCurry.Types.FuncDecl]
-> [((String, String), a)]

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term