[commit: ghc] master: Fix note spelling (31cde29)
git at git.haskell.org
git at git.haskell.org
Sat Jul 12 18:01:20 UTC 2014
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/31cde297617369486e49d741ae9251969826917c/ghc
>---------------------------------------------------------------
commit 31cde297617369486e49d741ae9251969826917c
Author: Gabor Greif <ggreif at gmail.com>
Date: Sat Jul 12 17:15:38 2014 +0200
Fix note spelling
>---------------------------------------------------------------
31cde297617369486e49d741ae9251969826917c
compiler/typecheck/TcExpr.lhs | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/compiler/typecheck/TcExpr.lhs b/compiler/typecheck/TcExpr.lhs
index 36276e5..d4120d0 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)]
More information about the ghc-commits
mailing list