Fix more typos, via an improved Levenshtein-style corrector

8 files changed, 12 insertions, 12 deletions

diff --git a/testsuite/driver/perf_notes.py b/testsuite/driver/perf_notes.py
index bd339adc7c..deb7c16ded 100644
--- a/testsuite/driver/perf_notes.py
+++ b/testsuite/driver/perf_notes.py
@@ -587,7 +587,7 @@ def main() -> None:
 
     group = parser.add_argument_group(title='Filtering', description="Select which subset of performance metrics to dump")
     group.add_argument("--test-env",
-                       help="The given test environment to be compared. Use 'local' for localy run results. If using --ci, see .gitlab-ci file for TEST_ENV settings.")
+                       help="The given test environment to be compared. Use 'local' for locally run results. If using --ci, see .gitlab-ci file for TEST_ENV settings.")
     group.add_argument("--test-name",
                        help="Filters for tests matching the given regular expression.")
     group.add_argument("--metric",
diff --git a/testsuite/tests/boxy/Base1.hs b/testsuite/tests/boxy/Base1.hs
index 3f027bb93c..7e33069199 100644
--- a/testsuite/tests/boxy/Base1.hs
+++ b/testsuite/tests/boxy/Base1.hs
@@ -1,6 +1,6 @@
 {-# OPTIONS_GHC -XImpredicativeTypes -fno-warn-deprecated-flags #-}
 
--- Sept 16: now failing, beause I've furter reduced the scop
+-- Sept 16: now failing, because I've further reduced the scop
 --          of impredicative types
 
 module Base1 where
diff --git a/testsuite/tests/numeric/should_run/numrun014.hs b/testsuite/tests/numeric/should_run/numrun014.hs
index 34a316e789..56821f59e5 100644
--- a/testsuite/tests/numeric/should_run/numrun014.hs
+++ b/testsuite/tests/numeric/should_run/numrun014.hs
@@ -1,5 +1,5 @@
 
--- Test that we don't have rules (or othre optimisations) doing the
+-- Test that we don't have rules (or other optimisations) doing the
 -- wrong thing for constant folding with Doubles.
 
 module Main (main) where
diff --git a/testsuite/tests/programs/andy_cherry/andy_cherry.stdout b/testsuite/tests/programs/andy_cherry/andy_cherry.stdout
index 743174dce8..6ae5da0611 100644
--- a/testsuite/tests/programs/andy_cherry/andy_cherry.stdout
+++ b/testsuite/tests/programs/andy_cherry/andy_cherry.stdout
@@ -77,7 +77,7 @@ Taking this knight loses a pawn
 \end{tabular}}|
 \end{center}
 |9\ldots~Bc5; 10.~f3, e*f3; 11.~g*f3, 0-0; 12.~Bd3|
-White can get presure down the `g' file, but first needs to solve the
+White can get pressure down the `g' file, but first needs to solve the
 problem of the Bishop on c5 guarding g8.
 \begin{center}|
 {\bf\begin{tabular}{rp{50pt}p{50pt}}
@@ -1936,7 +1936,7 @@ rooks that arrive on the 7th.
 24 & Rf*f7 & Rd8\\
 \end{tabular}}|
 \end{center}
-Silly, blocking the kings escape, athough its over anyway. I should
+Silly, blocking the kings escape, although its over anyway. I should
 have tried for at least one cheapo.
 |24\ldots~Re5|
 \begin{center}|
diff --git a/testsuite/tests/programs/andy_cherry/mygames.pgn b/testsuite/tests/programs/andy_cherry/mygames.pgn
index 9a338cf05e..bb88aa6597 100644
--- a/testsuite/tests/programs/andy_cherry/mygames.pgn
+++ b/testsuite/tests/programs/andy_cherry/mygames.pgn
@@ -14,7 +14,7 @@
 4. Bf4 {is better.}) 4... e6? (4... dxe4 5. d5 exf3 6. dxc6 Qxd1+ 7. 
 Nxd1 {and black is a clear pawn up.}) 5. e5 Ne4 {} 6. Nxe4? { Taking
 this knight loses a pawn} 6... dxe4 7. Nd2 Qxd4 8. Nc4 Qxd1+ 9. Kxd1 
-Bd7 (9... Bc5 10. f3 exf3 11. gxf3 O-O 12. Bd3 {White can get presure
+Bd7 (9... Bc5 10. f3 exf3 11. gxf3 O-O 12. Bd3 {White can get pressure
 down the `g' file, but first needs to solve the problem of the Bishop on
 c5 guarding g8.}) 10. Bd2 (10. Be3 {is better.}) 10... Bb4 11. c3 Bc5 12. 
 Ke1 O-O-O (12... b5 13. Ne3 Bxe3 14. Bxe3 Nxe5 {wins a pawn, but black
@@ -284,7 +284,7 @@ kingside, and allowing exchange of queens.} (13... Bd8) 14. Nxf6+ Qxf6
 Planning an invasion of the 7th. Textbook play.} 22... Rd8 { Planing to
 remove the dangerous white pawn, but missing the connected rooks that
 arrive on the 7th.} 23. Rxc7 Rxd5 24. Rfxf7 Rd8 {Silly, blocking the
-kings escape, athough its over anyway. I should have tried for at least
+kings escape, although its over anyway. I should have tried for at least
 one cheapo.} (24... Re5) 25. Rxh7 Rf8 {?? Again just missing the action.} 
 26. Rcg7# 1-0
 
diff --git a/testsuite/tests/programs/joao-circular/Visfun_Lazy.hs b/testsuite/tests/programs/joao-circular/Visfun_Lazy.hs
index e4055350a1..cfb04e6918 100644
--- a/testsuite/tests/programs/joao-circular/Visfun_Lazy.hs
+++ b/testsuite/tests/programs/joao-circular/Visfun_Lazy.hs
@@ -861,11 +861,11 @@ visit_PPSArgs :: PPSArgs -> [T_Frame] -> (T_Errs, T_Fmts, Integer, T_Mins)
 -- This function's most general type is
 -- visit_PPSArgs :: forall a. (Integral a, Show a)
 --               => PPSArgs -> [T_Frame] -> (T_Errs, T_Fmts, a, T_Mins)
--- But in the same mutually recusive group is visit_PPS whose type becomes
+-- But in the same mutually recursive group is visit_PPS whose type becomes
 -- visit_PPS :: forall a. (Integral a, Show a)
 --           => PPS -> T_Frame -> (Bool, T_Formats, INT, INT, INT)
 -- which GHC now (rightfully) rejects that as ambiguous, even though
--- acutally default resolution will allow it at call sites,
+-- actually default resolution will allow it at call sites,
 -- So I've added a type signature 
 -- SLPJ July 2012
 
diff --git a/testsuite/tests/typecheck/should_compile/LoopOfTheDay2.hs b/testsuite/tests/typecheck/should_compile/LoopOfTheDay2.hs
index db981b7c1f..dd17a9fcc9 100644
--- a/testsuite/tests/typecheck/should_compile/LoopOfTheDay2.hs
+++ b/testsuite/tests/typecheck/should_compile/LoopOfTheDay2.hs
@@ -32,7 +32,7 @@ baz = foo (T1b (T1a 3))
 -->(I5)         C2 () T1
 -->(I3)         C1 () T1, C1 () Int
 -->(I1,I2)      C0 T1, C0 Int
--->(recusive)   C0 Int
+-->(recursive)   C0 Int
 -->(I6)         C2 () Int
 -->(I4)         C1 () Int
 -->(recursive)  {}
diff --git a/testsuite/tests/typecheck/should_fail/TcCoercibleFail.hs b/testsuite/tests/typecheck/should_fail/TcCoercibleFail.hs
index 3967c3c0bd..01afc9cb42 100644
--- a/testsuite/tests/typecheck/should_fail/TcCoercibleFail.hs
+++ b/testsuite/tests/typecheck/should_fail/TcCoercibleFail.hs
@@ -24,13 +24,13 @@ foo5 = coerce :: Void -> ()
 ------------------------------------
 -- This next one generates an exponentally big type as it
 -- tries to unwrap.  See comment:15 in #11518
--- Adding asserions that force the types can make us
+-- Adding assertions that force the types can make us
 -- run out of space.
 newtype VoidBad a = VoidBad (VoidBad (a,a))
 foo5' = coerce :: (VoidBad ()) -> ()
 
 ------------------------------------
--- This shoul fail with a context stack overflow
+-- This should fail with a context stack overflow
 newtype Fix f = Fix (f (Fix f))
 foo6 = coerce :: Fix (Either Int) -> Fix (Either Age)
 foo7 = coerce :: Fix (Either Int) -> ()