From: Ian Lynagh Date: Tue, 26 May 2009 19:29:53 +0000 (+0000) Subject: Wibble some comments to avoid haddock parse errors X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=110b54f7e7340aecac237012ac9aa31c4ea16cfd Wibble some comments to avoid haddock parse errors --- 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