Searched defs:simplAlt (Results 1 – 2 of 2) sorted by relevance
315 simplAlt x (TACon c a b) = TACon c a <$> underLams a (maybeAddRewrite (x + a) conTerm $ simpl b) function317 simplAlt x (TALit l b) = TALit l <$> maybeAddRewrite x (TLit l) (simpl b) function318 simplAlt x (TAGuard g b) = TAGuard <$> simpl g <*> simpl b function
2692 simplAlt env _ imposs_deflt_cons case_bndr' cont' (DEFAULT, bndrs, rhs) function2700 simplAlt env scrut' _ case_bndr' cont' (LitAlt lit, bndrs, rhs) function2706 simplAlt env scrut' _ case_bndr' cont' (DataAlt con, vs, rhs) function