[commit: ghc] master: Fix spelling errors (2c38a6e)
git at git.haskell.org
git at git.haskell.org
Tue Jul 17 19:35:47 UTC 2018
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/2c38a6ee0e24509820d20d6aa450f3c341121423/ghc
>---------------------------------------------------------------
commit 2c38a6ee0e24509820d20d6aa450f3c341121423
Author: Sasa Bogicevic <t4nt0r at protonmail.com>
Date: Tue Jul 17 21:33:47 2018 +0200
Fix spelling errors
Reviewers: goldfire, bgamari, osa1
Reviewed By: osa1
Subscribers: rwbarton, thomie, carter
GHC Trac Issues: #15407
Differential Revision: https://phabricator.haskell.org/D4977
>---------------------------------------------------------------
2c38a6ee0e24509820d20d6aa450f3c341121423
compiler/typecheck/TcType.hs | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/compiler/typecheck/TcType.hs b/compiler/typecheck/TcType.hs
index afe3613..01bdabe 100644
--- a/compiler/typecheck/TcType.hs
+++ b/compiler/typecheck/TcType.hs
@@ -856,7 +856,7 @@ promoteSkolemsX tclvl = mapAccumL (promoteSkolemX tclvl)
************************************************************************
-}
--- | Finds outermost type-family applications occuring in a type,
+-- | Finds outermost type-family applications occurring in a type,
-- after expanding synonyms. In the list (F, tys) that is returned
-- we guarantee that tys matches F's arity. For example, given
-- type family F a :: * -> * (arity 1)
@@ -1440,7 +1440,7 @@ a's kind, so we'll call matchExpectedFunKind, and unify
That evidence is actually Refl, but we must not discard the cast to
form the result type
((a::kappa) (Int::*))
-bacause that does not satisfy the invariant, and crashes TypeKind. This
+because that does not satisfy the invariant, and crashes TypeKind. This
caused Trac #14174 and #14520.
Notes:
More information about the ghc-commits
mailing list