diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-10-19 02:20:12 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-10-19 02:20:12 +0100 |
| commit | 8bc6c4a613b5d16118469248cfb8025a5175a174 (patch) | |
| tree | 56146daa18ef6f54974bf2c22c9121e2912a51da /testsuite/tests/indexed-types/should_fail/T2627b.stderr | |
| parent | 09cdd12b22bcff1876ea80c0d9878507c2ed4f1f (diff) | |
| download | haskell-8bc6c4a613b5d16118469248cfb8025a5175a174.tar.gz | |
Improvements to kind error messages, mainly
Also some expected/actual messages are now the right way round
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T2627b.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T2627b.stderr | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T2627b.stderr b/testsuite/tests/indexed-types/should_fail/T2627b.stderr index e18a8d2301..acf77ab303 100644 --- a/testsuite/tests/indexed-types/should_fail/T2627b.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2627b.stderr @@ -1,12 +1,9 @@ T2627b.hs:20:24: - Couldn't match expected type `Dual (Dual a0)' with actual type `a0' - `a0' is untouchable - inside the constraints (b ~ W a2 b2) - bound by a pattern with constructor - Wr :: forall a b. a -> Comm b -> Comm (W a b), - in an equation for `conn' - at T2627b.hs:20:14-19 + Occurs check: cannot construct the infinite type: + a0 ~ Dual (Dual a0) + The type variable `a0' is ambiguous + Possible fix: add a type signature that fixes these type variable(s) In the expression: conn undefined undefined In an equation for `conn': conn (Rd k) (Wr a r) = conn undefined undefined |