X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcHsSyn.lhs;h=8c23d8a86d0cff03bf20f0867fc6c37ff7e46cd3;hb=9003a18c4efa4548ae80709aef9963f7b544ded3;hp=0e8748f5437ac235823cb5cc77e02413ac716659;hpb=7f9f2f0a0b571a3fd55af7c85d662d08c5b3f0e3;p=ghc-hetmet.git diff --git a/ghc/compiler/typecheck/TcHsSyn.lhs b/ghc/compiler/typecheck/TcHsSyn.lhs index 0e8748f..8c23d8a 100644 --- a/ghc/compiler/typecheck/TcHsSyn.lhs +++ b/ghc/compiler/typecheck/TcHsSyn.lhs @@ -514,13 +514,12 @@ zonkExpr (RecordConOut data_con con_expr rbinds) zonkExpr (RecordUpd _ _) = panic "zonkExpr:RecordUpd" -zonkExpr (RecordUpdOut expr in_ty out_ty dicts rbinds) +zonkExpr (RecordUpdOut expr in_ty out_ty rbinds) = zonkExpr expr `thenNF_Tc` \ new_expr -> zonkTcTypeToType in_ty `thenNF_Tc` \ new_in_ty -> zonkTcTypeToType out_ty `thenNF_Tc` \ new_out_ty -> - mapNF_Tc zonkIdOcc dicts `thenNF_Tc` \ new_dicts -> zonkRbinds rbinds `thenNF_Tc` \ new_rbinds -> - returnNF_Tc (RecordUpdOut new_expr new_in_ty new_out_ty new_dicts new_rbinds) + returnNF_Tc (RecordUpdOut new_expr new_in_ty new_out_ty new_rbinds) zonkExpr (ExprWithTySig _ _) = panic "zonkExpr:ExprWithTySig" zonkExpr (ArithSeqIn _) = panic "zonkExpr:ArithSeqIn"