- shift_con_pat (EqnInfo (ConPat _ _ pats': pats) match_result)
- = EqnInfo (pats' ++ pats) match_result
- shift_con_pat (EqnInfo (WildPat _: pats) match_result) -- Will only happen in shadow
- = EqnInfo ([WildPat (outPatType arg_pat) | arg_pat <- arg_pats] ++ pats) match_result
+ shift_con_pat (EqnInfo n ctx (ConPat _ _ pats': pats) match_result)
+ = EqnInfo n ctx (pats' ++ pats) match_result
+ shift_con_pat (EqnInfo n ctx (WildPat _: pats) match_result) -- Will only happen in shadow
+ = EqnInfo n ctx ([WildPat (outPatType arg_pat) | arg_pat <- arg_pats] ++ pats) match_result