summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/TyCl.hs
diff options
context:
space:
mode:
authorJan HrĨek <honza.hrk@gmail.com>2020-06-24 15:55:39 +0200
committerMarge Bot <ben+marge-bot@smart-cactus.org>2020-06-28 09:20:22 -0400
commit68530b1cd45629e5a353a37df80195ac54d26ade (patch)
treea6aa929d32d9c1caff4ca57c5ffde238d7c9717a /compiler/GHC/Tc/TyCl.hs
parent42f797b0ad034a92389e7081aa50ef4ab3434d01 (diff)
downloadhaskell-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.hs6
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