diff options
| author | Gabor Greif <ggreif@gmail.com> | 2014-07-12 17:15:38 +0200 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2014-07-12 17:59:06 +0200 |
| commit | 31cde297617369486e49d741ae9251969826917c (patch) | |
| tree | fe3937518b457b3587f2418ae3c6e0edb06a4171 | |
| parent | d591b19beb55698f429a2c8074e432e4fcde3379 (diff) | |
| download | haskell-31cde297617369486e49d741ae9251969826917c.tar.gz | |
Fix note spelling
| -rw-r--r-- | compiler/typecheck/TcExpr.lhs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/typecheck/TcExpr.lhs b/compiler/typecheck/TcExpr.lhs index 36276e5d4c..d4120d0fff 100644 --- a/compiler/typecheck/TcExpr.lhs +++ b/compiler/typecheck/TcExpr.lhs @@ -565,7 +565,7 @@ Note that because MkT3 doesn't contain all the fields being updated, its RHS is simply an error, so it doesn't impose any type constraints. Hence the use of 'relevant_cont'. -Note [Implict type sharing] +Note [Implicit type sharing] ~~~~~~~~~~~~~~~~~~~~~~~~~~~ We also take into account any "implicit" non-update fields. For example data T a b where { MkT { f::a } :: T a a; ... } @@ -751,7 +751,7 @@ tcExpr (RecordUpd record_expr rbinds _ _ _) res_ty -- Universally-quantified tyvars that -- appear in any of the *implicit* -- arguments to the constructor are fixed - -- See Note [Implict type sharing] + -- See Note [Implicit type sharing] fixed_tys = [ty | (fld,ty) <- zip flds arg_tys , not (fld `elem` upd_fld_names)] |