(Nothing, strictness_info, _) ->
- -- Includes MagicUnfolding, NoUnfolding
+ -- Includes NoUnfolding
-- Try the strictness info
absValFromStrictness anal strictness_info
\end{code}
findStrictness tys str_val abs_val
= (map find_str tys_w_index, isBot (foldl (absApply StrAnal) str_val all_tops))
where
- tys_w_index = tys `zip` [1..]
+ tys_w_index = tys `zip` [(1::Int) ..]
find_str (ty,n) = findRecDemand str_fn abs_fn ty
where