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/Gen | |
| parent | 42f797b0ad034a92389e7081aa50ef4ab3434d01 (diff) | |
| download | haskell-68530b1cd45629e5a353a37df80195ac54d26ade.tar.gz | |
Fix duplicated words and typos in comments and user guide
Diffstat (limited to 'compiler/GHC/Tc/Gen')
| -rw-r--r-- | compiler/GHC/Tc/Gen/Bind.hs | 4 | ||||
| -rw-r--r-- | compiler/GHC/Tc/Gen/Expr.hs | 2 | ||||
| -rw-r--r-- | compiler/GHC/Tc/Gen/HsType.hs | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/compiler/GHC/Tc/Gen/Bind.hs b/compiler/GHC/Tc/Gen/Bind.hs index 0a393bf30b..1944c61af5 100644 --- a/compiler/GHC/Tc/Gen/Bind.hs +++ b/compiler/GHC/Tc/Gen/Bind.hs @@ -215,7 +215,7 @@ tcTopBinds binds sigs -- a fixed return type must agree with this. -- -- The fields of `Fixed` cache the first conlike and its return type so --- that that we can compare all the other conlikes to it. The conlike is +-- that we can compare all the other conlikes to it. The conlike is -- stored for error messages. -- -- `Nothing` in the case that the type is fixed by a type signature @@ -1609,7 +1609,7 @@ We typecheck pattern bindings as follows. First tcLhs does this: generalisation step will do the checking and impedance matching against the signature. - - If for some some reason we are not generalising (plan = NoGen), the + - If for some reason we are not generalising (plan = NoGen), the LetBndrSpec will be LetGblBndr. In that case we must bind the global version of the Id, and do so with precisely the type given in the signature. (Then we unify with the type from the pattern diff --git a/compiler/GHC/Tc/Gen/Expr.hs b/compiler/GHC/Tc/Gen/Expr.hs index d970b3e0b2..eaf3a3db0c 100644 --- a/compiler/GHC/Tc/Gen/Expr.hs +++ b/compiler/GHC/Tc/Gen/Expr.hs @@ -2147,7 +2147,7 @@ tcTagToEnum expr fun args app_res_ty res_ty checkThLocalId :: Id -> TcM () -- The renamer has already done checkWellStaged, -- in 'GHC.Rename.Splice.checkThLocalName', so don't repeat that here. --- Here we just just add constraints fro cross-stage lifting +-- Here we just add constraints fro cross-stage lifting checkThLocalId id = do { mb_local_use <- getStageAndBindLevel (idName id) ; case mb_local_use of diff --git a/compiler/GHC/Tc/Gen/HsType.hs b/compiler/GHC/Tc/Gen/HsType.hs index 22edf3c0b4..0d1bc6cceb 100644 --- a/compiler/GHC/Tc/Gen/HsType.hs +++ b/compiler/GHC/Tc/Gen/HsType.hs @@ -3721,7 +3721,7 @@ Consider Here * The pattern (MkT p1 p2) creates a *skolem* type variable 'a_sk', - It must be a skolem so that that it retains its identity, and + It must be a skolem so that it retains its identity, and GHC.Tc.Errors.getSkolemInfo can thereby find the binding site for the skolem. * The type signature pattern (f :: b -> c) makes freshs meta-tyvars |