diff options
author | Brian Wignall <brianwignall@gmail.com> | 2020-01-10 10:47:46 -0500 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-01-12 21:30:08 -0500 |
commit | 0b5ddc7f2c10ee84631dd6cb5f6368afbc389449 (patch) | |
tree | d9a77d5b2c55d75d9ae5b6fa199612315de9d163 /testsuite/tests/typecheck | |
parent | 350e2b78788d47255d27489dfc62d664498b5de4 (diff) | |
download | haskell-0b5ddc7f2c10ee84631dd6cb5f6368afbc389449.tar.gz |
Fix more typos, via an improved Levenshtein-style corrector
Diffstat (limited to 'testsuite/tests/typecheck')
-rw-r--r-- | testsuite/tests/typecheck/should_compile/LoopOfTheDay2.hs | 2 | ||||
-rw-r--r-- | testsuite/tests/typecheck/should_fail/TcCoercibleFail.hs | 4 |
2 files changed, 3 insertions, 3 deletions
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) -> () |