+ -- For (\x -> e), tcExpr has already said "In the expresssion \x->e"
+ -- so we don't want to add "In the lambda abstraction \x->e"
+ add_match_ctxt match thing_inside
+ = case mc_what ctxt of
+ LambdaExpr -> thing_inside
+ m_ctxt -> addErrCtxt (matchCtxt m_ctxt match) thing_inside
+