Commit 31cde297 authored by Gabor Greif's avatar Gabor Greif 💬

Fix note spelling

parent d591b19b
...@@ -565,7 +565,7 @@ Note that because MkT3 doesn't contain all the fields being updated, ...@@ -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. its RHS is simply an error, so it doesn't impose any type constraints.
Hence the use of 'relevant_cont'. 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 We also take into account any "implicit" non-update fields. For example
data T a b where { MkT { f::a } :: T a a; ... } data T a b where { MkT { f::a } :: T a a; ... }
...@@ -751,7 +751,7 @@ tcExpr (RecordUpd record_expr rbinds _ _ _) res_ty ...@@ -751,7 +751,7 @@ tcExpr (RecordUpd record_expr rbinds _ _ _) res_ty
-- Universally-quantified tyvars that -- Universally-quantified tyvars that
-- appear in any of the *implicit* -- appear in any of the *implicit*
-- arguments to the constructor are fixed -- 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 fixed_tys = [ty | (fld,ty) <- zip flds arg_tys
, not (fld `elem` upd_fld_names)] , not (fld `elem` upd_fld_names)]
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment