diff options
| author | Eric Lindblad <lindblad@gmx.us> | 2022-09-13 10:31:23 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-09-14 03:13:56 -0400 |
| commit | 646d15ad8f1119f339998ee8dd79ea96cfd1d165 (patch) | |
| tree | 84bc30035fb31ea0f418384b2399400d53539cbf /compiler/GHC/Core/Coercion.hs | |
| parent | dc6af9ed87e619d754bfc385df931c81cba6d93a (diff) | |
| download | haskell-646d15ad8f1119f339998ee8dd79ea96cfd1d165.tar.gz | |
Fix typos
This fixes various typos and spelling mistakes
in the compiler.
Fixes #21891
Diffstat (limited to 'compiler/GHC/Core/Coercion.hs')
| -rw-r--r-- | compiler/GHC/Core/Coercion.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/GHC/Core/Coercion.hs b/compiler/GHC/Core/Coercion.hs index dc3f7d277f..15ee9369da 100644 --- a/compiler/GHC/Core/Coercion.hs +++ b/compiler/GHC/Core/Coercion.hs @@ -304,7 +304,7 @@ tidyCoAxBndrsForUser init_env tcvs coToMCo :: Coercion -> MCoercion -- Convert a coercion to a MCoercion, -- It's not clear whether or not isReflexiveCo would be better here --- See #19815 for a bit of data and dicussion on this point +-- See #19815 for a bit of data and discussion on this point coToMCo co | isReflCo co = MRefl | otherwise = MCo co @@ -955,7 +955,7 @@ optCoercion. Not a big deal either way. mkAxInstCo :: Role -> CoAxiom br -> BranchIndex -> [Type] -> [Coercion] -> Coercion --- mkAxInstCo can legitimately be called over-staturated; +-- mkAxInstCo can legitimately be called over-saturated; -- i.e. with more type arguments than the coercion requires mkAxInstCo role ax index tys cos | arity == n_tys = downgradeRole role ax_role $ @@ -1615,7 +1615,7 @@ mkPiCo :: Role -> Var -> Coercion -> Coercion mkPiCo r v co | isTyVar v = mkHomoForAllCos [v] co | isCoVar v = assert (not (v `elemVarSet` tyCoVarsOfCo co)) $ -- We didn't call mkForAllCo here because if v does not appear - -- in co, the argement coercion will be nominal. But here we + -- in co, the argument coercion will be nominal. But here we -- want it to be r. It is only called in 'mkPiCos', which is -- only used in GHC.Core.Opt.Simplify.Utils, where we are sure for -- now (Aug 2018) v won't occur in co. |