Searched refs:interestingDict (Results 1 – 1 of 1) sorted by relevance
1097 , interestingDict env scrut'2578 interestingDict :: SpecEnv -> CoreExpr -> Bool2582 interestingDict env (Var v) = hasSomeUnfolding (idUnfolding v) function2585 interestingDict _ (Type _) = False function2586 interestingDict _ (Coercion _) = False function2587 interestingDict env (App fn (Type _)) = interestingDict env fn function2588 interestingDict env (App fn (Coercion _)) = interestingDict env fn function2589 interestingDict env (Tick _ a) = interestingDict env a function2590 interestingDict env (Cast e _) = interestingDict env e function2591 interestingDict _ _ = True function[all …]