Lines Matching defs:occAnal
1903 occAnal _ expr@(Type _) = (emptyDetails, expr) function
1904 occAnal _ expr@(Lit _) = (emptyDetails, expr) function
1905 occAnal env expr@(Var _) = occAnalApp env (expr, [], []) function
1913 occAnal _ (Coercion co) function
1924 occAnal env (Tick tickish body) function
1952 occAnal env (Cast expr co) function
1963 occAnal env app@(App _ _) function
1970 occAnal env (Lam x body) function
1992 occAnal env expr@(Lam _ _) function
2005 occAnal env (Case scrut bndr ty alts) function
2019 occAnal env (Let bind body) function