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/indexed-types/should_fail/GADTwrong1.stderr | |
| parent | 77193177a3239185f0cfca4d2844a8d5bc7d0d37 (diff) | |
| download | haskell-c22af4a538ad83191266c1150ca7182206ed2351.tar.gz | |
Tons of error message wibbles
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr b/testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr index a90b09d6eb..9c5465f27b 100644 --- a/testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr +++ b/testsuite/tests/indexed-types/should_fail/GADTwrong1.stderr @@ -1,18 +1,18 @@ GADTwrong1.hs:12:19: - Could not deduce (b ~ a1) + Could not deduce (a1 ~ b) from the context (() ~ Const a1) bound by a pattern with constructor T :: forall a. a -> T (Const a), in a case alternative at GADTwrong1.hs:12:12-14 - `b' is a rigid type variable bound by - the type signature for coerce :: a -> b at GADTwrong1.hs:10:20 `a1' is a rigid type variable bound by a pattern with constructor T :: forall a. a -> T (Const a), in a case alternative at GADTwrong1.hs:12:12 + `b' is a rigid type variable bound by + the type signature for coerce :: a -> b at GADTwrong1.hs:10:20 Relevant bindings include coerce :: a -> b (bound at GADTwrong1.hs:11:1) y :: a1 (bound at GADTwrong1.hs:12:14) |