Fix typos: alpah -> alpha

3 files changed, 4 insertions, 4 deletions

diff --git a/compiler/typecheck/TcHsSyn.hs b/compiler/typecheck/TcHsSyn.hs
index 2db69e57aa..c4c4b653a1 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 8cd7bf4ccc..f7344afdb9 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 7cfd19f751..743a41145c 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