X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcArrows.lhs;h=2316162c18a5b6193bfcf01846d1940a8b95a621;hb=d5c4754dcb857be7b9f4dbf6482e6050a9cd0991;hp=b4afcaf30ac4fe2b630ebc8c27ef8132ebc0d86c;hpb=3e83dfb21b2f2220dce97427fff5c19459ae68d1;p=ghc-hetmet.git diff --git a/compiler/typecheck/TcArrows.lhs b/compiler/typecheck/TcArrows.lhs index b4afcaf..2316162 100644 --- a/compiler/typecheck/TcArrows.lhs +++ b/compiler/typecheck/TcArrows.lhs @@ -264,7 +264,7 @@ tc_cmd env cmd@(HsArrForm expr fixity cmd_args) (cmd_stk, res_ty) -- the s1..sm and check each cmd ; cmds' <- mapM (tc_cmd w_tv) cmds_w_tys - ; returnM (HsArrForm (noLoc $ HsCoerce (CoTyLams [w_tv]) + ; returnM (HsArrForm (noLoc $ HsCoerce (CoTyLam w_tv) (unLoc $ mkHsDictLet inst_binds expr')) fixity cmds') }