[commit: ghc] master: Fix typos: alpah -> alpha (ed4a228)
git at git.haskell.org
git at git.haskell.org
Fri Apr 22 10:59:44 UTC 2016
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/ed4a2289825e2696ffd001b9b1b7e241676ab02f/ghc
>---------------------------------------------------------------
commit ed4a2289825e2696ffd001b9b1b7e241676ab02f
Author: Bartosz Nitka <niteria at gmail.com>
Date: Fri Apr 22 04:02:08 2016 -0700
Fix typos: alpah -> alpha
>---------------------------------------------------------------
ed4a2289825e2696ffd001b9b1b7e241676ab02f
compiler/typecheck/TcHsSyn.hs | 2 +-
compiler/typecheck/TcSimplify.hs | 2 +-
testsuite/tests/indexed-types/should_compile/IndTypesPerfMerge.hs | 4 ++--
3 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/compiler/typecheck/TcHsSyn.hs b/compiler/typecheck/TcHsSyn.hs
index 2db69e5..c4c4b65 100644
--- a/compiler/typecheck/TcHsSyn.hs
+++ b/compiler/typecheck/TcHsSyn.hs
@@ -1618,7 +1618,7 @@ quantify over them. Example:
{-# RULES "myrule" foo C = 1 #-}
-After type checking the LHS becomes (foo alpha (C alpah)) and we do
+After type checking the LHS becomes (foo alpha (C alpha)) and we do
not want to zap the unbound meta-tyvar 'alpha' to Any, because that
limits the applicability of the rule. Instead, we want to quantify
over it!
diff --git a/compiler/typecheck/TcSimplify.hs b/compiler/typecheck/TcSimplify.hs
index 8cd7bf4..f7344af 100644
--- a/compiler/typecheck/TcSimplify.hs
+++ b/compiler/typecheck/TcSimplify.hs
@@ -1850,7 +1850,7 @@ Which equalities should we float? We want to float ones where there
is a decent chance that floating outwards will allow unification to
happen. In particular:
- Float out equalities of form (alpaha ~ ty) or (ty ~ alpha), where
+ Float out equalities of form (alpha ~ ty) or (ty ~ alpha), where
* alpha is a meta-tyvar.
diff --git a/testsuite/tests/indexed-types/should_compile/IndTypesPerfMerge.hs b/testsuite/tests/indexed-types/should_compile/IndTypesPerfMerge.hs
index 7cfd19f..743a411 100644
--- a/testsuite/tests/indexed-types/should_compile/IndTypesPerfMerge.hs
+++ b/testsuite/tests/indexed-types/should_compile/IndTypesPerfMerge.hs
@@ -86,8 +86,8 @@ Another solve path:
ty := beta
gamma := MergerType alpha beta
- UnmergedLeft (MergerType alpah beta) ~ alpha
- UnmergedRight (MergerType alpah beta) ~ beta
+ UnmergedLeft (MergerType alpha beta) ~ alpha
+ UnmergedRight (MergerType alpha beta) ~ beta
Merger (MergerType alpha beta)
Mergeable alpha beta
More information about the ghc-commits
mailing list