diff options
| author | Ian Lynagh <igloo@earth.li> | 2009-05-26 19:29:53 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2009-05-26 19:29:53 +0000 |
| commit | 110b54f7e7340aecac237012ac9aa31c4ea16cfd (patch) | |
| tree | 37e84e11e137bdf21b1f7fbf9123ffc880c260f4 /compiler | |
| parent | c778b9227fd06264ab7f58cc36da9d39690803a5 (diff) | |
| download | haskell-110b54f7e7340aecac237012ac9aa31c4ea16cfd.tar.gz | |
Wibble some comments to avoid haddock parse errors
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/typecheck/TcExpr.lhs | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/compiler/typecheck/TcExpr.lhs b/compiler/typecheck/TcExpr.lhs index b101cb5ad0..1508995934 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 |