diff options
author | Jan HrĨek <honza.hrk@gmail.com> | 2020-06-24 15:55:39 +0200 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-06-28 09:20:22 -0400 |
commit | 68530b1cd45629e5a353a37df80195ac54d26ade (patch) | |
tree | a6aa929d32d9c1caff4ca57c5ffde238d7c9717a /compiler/GHC/Tc/TyCl.hs | |
parent | 42f797b0ad034a92389e7081aa50ef4ab3434d01 (diff) | |
download | haskell-68530b1cd45629e5a353a37df80195ac54d26ade.tar.gz |
Fix duplicated words and typos in comments and user guide
Diffstat (limited to 'compiler/GHC/Tc/TyCl.hs')
-rw-r--r-- | compiler/GHC/Tc/TyCl.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/GHC/Tc/TyCl.hs b/compiler/GHC/Tc/TyCl.hs index 5970147580..efdb1bdfd0 100644 --- a/compiler/GHC/Tc/TyCl.hs +++ b/compiler/GHC/Tc/TyCl.hs @@ -236,7 +236,7 @@ tcTyClDecls tyclds kisig_env role_annots tcExtendRecEnv (zipRecTyClss tc_tycons rec_tyclss) $ -- Also extend the local type envt with bindings giving - -- a TcTyCon for each each knot-tied TyCon or Class + -- a TcTyCon for each knot-tied TyCon or Class -- See Note [Type checking recursive type and class declarations] -- and Note [Type environment evolution] tcExtendKindEnvWithTyCons tc_tycons $ @@ -2937,7 +2937,7 @@ unravelFamInstPats fam_app addConsistencyConstraints :: AssocInstInfo -> TcType -> TcM () -- In the corresponding positions of the class and type-family, --- ensure the the family argument is the same as the class argument +-- ensure the family argument is the same as the class argument -- E.g class C a b c d where -- F c x y a :: Type -- Here the first arg of F should be the same as the third of C @@ -4191,7 +4191,7 @@ checkValidClass cls -- default-method Name to be that of the generic -- default type signature - -- First, we check that that the method's default type signature + -- First, we check that the method's default type signature -- aligns with the non-default type signature. -- See Note [Default method type signatures must align] let cls_pred = mkClassPred cls $ mkTyVarTys $ classTyVars cls |