X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcExpr.lhs;h=15089959346cb0189b5f666a6ce3dc7d6cad1629;hb=110b54f7e7340aecac237012ac9aa31c4ea16cfd;hp=b101cb5ad0b6eaacfa4c7dfc5c779db2b809199c;hpb=80d071f68134bf3ad89d4de0d83807e2f0ec32c0;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcExpr.lhs b/compiler/typecheck/TcExpr.lhs
index b101cb5..1508995 100644
--- a/compiler/typecheck/TcExpr.lhs
+++ b/compiler/typecheck/TcExpr.lhs
@@ -551,8 +551,8 @@ tcExpr expr@(RecordUpd record_expr rbinds _ _ _) res_ty
 	-- Figure out types for the scrutinee and result
 	-- Both are of form (T a b c), with fresh type variables, but with
 	-- common variables where the scrutinee and result must have the same type
-	-- These are variables that appear in *any* arg of *any* of the relevant constructors
-        -- *except* in the updated fields
+	-- These are variables that appear in *any* arg of *any* of the
+	-- relevant constructors *except* in the updated fields
 	-- 
 	; let fixed_tvs = getFixedTyVars con1_tvs relevant_cons
 	      is_fixed_tv tv = tv `elemVarSet` fixed_tvs
@@ -601,8 +601,9 @@ tcExpr expr@(RecordUpd record_expr rbinds _ _ _) res_ty
     			    fixed_tvs = exactTyVarsOfTypes fixed_tys
 			    	    -- fixed_tys: See Note [Type of a record update]
 			    	        `unionVarSet` tyVarsOfTheta theta 
-				    -- Universally-quantified tyvars that appear in any of the 
-				    -- *implicit* arguments to the constructor are fixed
+				    -- Universally-quantified tyvars that
+				    -- appear in any of the *implicit*
+				    -- arguments to the constructor are fixed
 			    	    -- See Note [Implict type sharing]
 			    	        
 		            fixed_tys = [ty | (fld,ty) <- zip flds arg_tys