CurryInfo: call-analysis-3.2.0 / Analysis.extractStrictness

 
extractStrictness :: Eq a => ADom a -> SemInt a -> [(String,[Int])]
extractStrictness adom aint = map checkStrictArgs allfuncs
 where
  abot = adomBottom adom

  allfuncs = nub (map (\ (Eq f args _) -> (f,length args)) aint)

  checkStrictArgs (f,n) = (f,concatMap checkStrictArg [1..n])
   where
     checkStrictArg i =
       let argibotEqs = filter (\ (Eq g args _) -> f==g && args!!(i-1) == abot)
                               aint
        in if not (null argibotEqs) && all (\ (Eq _ _ r) -> r==abot) argibotEqs
           then [i]
           else []

 argument 3

 deterministic operation

 
extract list of strict arguments for each function from least fixpoint

 <FAILING>

 referentially transparent operation

 no fixity defined

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

 extractStrictness

 no precedence defined

 {:,[]}

 Prelude.Eq a => ADom a -> [SemEq a] -> [(String, [Prelude.Int])]

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term