[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