- ; match_result <- match vars ty (shiftEqns eqns)
- ; return (mkGuardedMatchResult ge_expr $
- mkCoLetsMatchResult [NonRec n1 minusk_expr] $
- bindInMatchResult (map line_up other_pats) $
+ ; match_result <- match vars ty (eqn1' : map shift eqns)
+ ; return (adjustMatchResult (eqn_wrap eqn1) $
+ -- Bring the eqn1 wrapper stuff into scope because
+ -- it may be used in ge_expr, minusk_expr
+ mkGuardedMatchResult ge_expr $
+ mkCoLetMatchResult (NonRec n1 minusk_expr) $