diff options
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/driver/perf_notes.py | 2 | ||||
| -rw-r--r-- | testsuite/tests/boxy/Base1.hs | 2 | ||||
| -rw-r--r-- | testsuite/tests/numeric/should_run/numrun014.hs | 2 | ||||
| -rw-r--r-- | testsuite/tests/programs/andy_cherry/andy_cherry.stdout | 4 | ||||
| -rw-r--r-- | testsuite/tests/programs/andy_cherry/mygames.pgn | 4 | ||||
| -rw-r--r-- | testsuite/tests/programs/joao-circular/Visfun_Lazy.hs | 4 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/LoopOfTheDay2.hs | 2 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/TcCoercibleFail.hs | 4 |
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) -> () |