diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-10-30 11:41:17 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-11-04 10:38:06 +0000 |
| commit | 5479ae0a0ff6d5df2da4f6208ce747f669c6d492 (patch) | |
| tree | 1a7d32c9657d59690c47135898086955d5907bb5 /testsuite/tests/indexed-types/should_fail/T9036.stderr | |
| parent | 66658eedf0aa51de37ff6d2d009a2f37208985ca (diff) | |
| download | haskell-5479ae0a0ff6d5df2da4f6208ce747f669c6d492.tar.gz | |
Testsuite error message changes
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T9036.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T9036.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T9036.stderr b/testsuite/tests/indexed-types/should_fail/T9036.stderr index 2df53c712c..3a6e38ee34 100644 --- a/testsuite/tests/indexed-types/should_fail/T9036.stderr +++ b/testsuite/tests/indexed-types/should_fail/T9036.stderr @@ -1,7 +1,7 @@ T9036.hs:17:17: - Couldn't match type ‘GetMonad t0’ with ‘GetMonad t’ - NB: ‘GetMonad’ is a type function, and may not be injective + Couldn't match type ‘Curried t [t]’ with ‘Curried t0 [t0]’ + NB: ‘Curried’ is a type function, and may not be injective The type variable ‘t0’ is ambiguous Expected type: Maybe (GetMonad t after) -> Curried t [t] Actual type: Maybe (GetMonad t0 after) -> Curried t0 [t0] |