[commit: ghc] master: Misspellings in comments [skip ci] (7ad3b49)

git at git.haskell.org git at git.haskell.org
Sun Aug 14 11:04:27 UTC 2016


Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/7ad3b49161587f937facd1852742cc3fbaf1ffce/ghc

>---------------------------------------------------------------

commit 7ad3b49161587f937facd1852742cc3fbaf1ffce
Author: Gabor Greif <ggreif at gmail.com>
Date:   Sun Aug 14 13:03:23 2016 +0200

    Misspellings in comments [skip ci]


>---------------------------------------------------------------

7ad3b49161587f937facd1852742cc3fbaf1ffce
 compiler/coreSyn/CoreLint.hs     | 2 +-
 compiler/typecheck/TcEvidence.hs | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/compiler/coreSyn/CoreLint.hs b/compiler/coreSyn/CoreLint.hs
index dead929..9700522 100644
--- a/compiler/coreSyn/CoreLint.hs
+++ b/compiler/coreSyn/CoreLint.hs
@@ -1287,7 +1287,7 @@ lintCoercion :: OutCoercion -> LintM (LintedKind, LintedKind, LintedType, Linted
 -- Check the kind of a coercion term, returning the kind
 -- Post-condition: the returned OutTypes are lint-free
 --
--- If   lintCorecion co = (k1, k2, s1, s2, r)
+-- If   lintCoercion co = (k1, k2, s1, s2, r)
 -- then co :: s1 ~r s2
 --      s1 :: k2
 --      s2 :: k2
diff --git a/compiler/typecheck/TcEvidence.hs b/compiler/typecheck/TcEvidence.hs
index 71f5bb7..aaa1f0c 100644
--- a/compiler/typecheck/TcEvidence.hs
+++ b/compiler/typecheck/TcEvidence.hs
@@ -80,8 +80,8 @@ kosher free variables.
 -}
 
 type TcCoercion  = Coercion
-type TcCoercionN = CoercionN    -- A Nominal          corecion ~N
-type TcCoercionR = CoercionR    -- A Representational corecion ~R
+type TcCoercionN = CoercionN    -- A Nominal          coercion ~N
+type TcCoercionR = CoercionR    -- A Representational coercion ~R
 type TcCoercionP = CoercionP    -- a phantom coercion
 
 mkTcReflCo             :: Role -> TcType -> TcCoercion



More information about the ghc-commits mailing list