X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcMatches.lhs;h=926d1dc09debc292b283bf33248c1b67d4172f79;hb=b7a8d2059f982599d31d14395c6628a049ec5179;hp=cbe594072963dc6b4cb85f51449d01dc6929f7b0;hpb=f1cc3eb980a634e62f2739a7a25387c902fa9d8a;p=ghc-hetmet.git diff --git a/compiler/typecheck/TcMatches.lhs b/compiler/typecheck/TcMatches.lhs index cbe5940..926d1dc 100644 --- a/compiler/typecheck/TcMatches.lhs +++ b/compiler/typecheck/TcMatches.lhs @@ -441,6 +441,7 @@ tcLcStmt m_tc ctxt (GroupStmt stmts bindersMap by using) elt_ty thing_inside -- Ensure that every old binder of type b is linked up with its new binder which should have type [b] ; let list_bndr_ids = zipWith mk_list_bndr list_bndr_names bndr_ids bindersMap' = bndr_ids `zip` list_bndr_ids + -- See Note [GroupStmt binder map] in HsExpr ; using' <- case using of Left e -> do { e' <- tcPolyExpr e using_ty; return (Left e') }