diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-28 15:55:22 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-28 15:55:22 +0100 |
| commit | c22af4a538ad83191266c1150ca7182206ed2351 (patch) | |
| tree | 3d11971d7dabeb0857fed7b6a85d1c2983041d02 /testsuite/tests/arrows | |
| parent | 77193177a3239185f0cfca4d2844a8d5bc7d0d37 (diff) | |
| download | haskell-c22af4a538ad83191266c1150ca7182206ed2351.tar.gz | |
Tons of error message wibbles
Diffstat (limited to 'testsuite/tests/arrows')
| -rw-r--r-- | testsuite/tests/arrows/should_fail/T5380.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/arrows/should_fail/arrowfail001.stderr | 13 |
2 files changed, 2 insertions, 13 deletions
diff --git a/testsuite/tests/arrows/should_fail/T5380.stderr b/testsuite/tests/arrows/should_fail/T5380.stderr index 36cf8a4ff3..1d3fa3a1ed 100644 --- a/testsuite/tests/arrows/should_fail/T5380.stderr +++ b/testsuite/tests/arrows/should_fail/T5380.stderr @@ -1,6 +1,6 @@ T5380.hs:7:27: - Couldn't match expected type `not_bool' with actual type `Bool' + Couldn't match expected type `Bool' with actual type `not_bool' `not_bool' is a rigid type variable bound by the type signature for testB :: not_bool -> (() -> ()) -> () -> not_unit diff --git a/testsuite/tests/arrows/should_fail/arrowfail001.stderr b/testsuite/tests/arrows/should_fail/arrowfail001.stderr index 5ba0efdfa1..261aa278a4 100644 --- a/testsuite/tests/arrows/should_fail/arrowfail001.stderr +++ b/testsuite/tests/arrows/should_fail/arrowfail001.stderr @@ -1,17 +1,6 @@ -arrowfail001.hs:16:27: - Couldn't match expected type `a0' with actual type `a' - because type variable `a' would escape its scope - This (rigid, skolem) type variable is bound by - a pattern with constructor - Bar :: forall a. Foo a => a -> Bar, - in a case alternative - In the pattern: Bar a - In a case alternative: Bar a -> foo -< a - In the command: case x of { Bar a -> foo -< a } - arrowfail001.hs:16:36: - No instance for (Foo a0) arising from a use of `foo' + No instance for (Foo a) arising from a use of `foo' In the expression: foo In the expression: proc x -> case x of { Bar a -> foo -< a } In an equation for `get': |