[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