From 4a343629ebe5be2c5b27e84c031e38abd81122fa Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Thu, 2 Jul 2009 09:45:31 +0000 Subject: [PATCH] Comments only --- compiler/typecheck/TcExpr.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/typecheck/TcExpr.lhs b/compiler/typecheck/TcExpr.lhs index 7634236..93d3fe9 100644 --- a/compiler/typecheck/TcExpr.lhs +++ b/compiler/typecheck/TcExpr.lhs @@ -539,7 +539,7 @@ tcExpr expr@(RecordUpd record_expr rbinds _ _ _) res_ty con1_flds = dataConFieldLabels con1 con1_res_ty = mkFamilyTyConApp tycon (mkTyVarTys con1_tvs) - -- STEP 2 + -- Step 2 -- Check that at least one constructor has all the named fields -- i.e. has an empty set of bad fields returned by badFields ; checkTc (not (null relevant_cons)) (badFieldsUpd rbinds) -- 1.7.10.4