diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-11-21 11:33:16 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-11-21 11:36:25 +0000 |
| commit | eaccc72162194d12a33aa454b57c126bcabcdd5d (patch) | |
| tree | d5b0d0ee74f0af4d83842566ad54be7ea9cdc5e7 /testsuite/tests/indexed-types/should_fail/T1897b.stderr | |
| parent | 1b6988e773229ed10a12ca157117d12826609c07 (diff) | |
| download | haskell-eaccc72162194d12a33aa454b57c126bcabcdd5d.tar.gz | |
Wibbles (usually improvements) to error messages
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T1897b.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T1897b.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T1897b.stderr b/testsuite/tests/indexed-types/should_fail/T1897b.stderr index 936aa26924..c6d318f047 100644 --- a/testsuite/tests/indexed-types/should_fail/T1897b.stderr +++ b/testsuite/tests/indexed-types/should_fail/T1897b.stderr @@ -1,6 +1,6 @@ T1897b.hs:16:1: - Couldn't match type ‘Depend a’ with ‘Depend a0’ + Couldn't match type ‘Depend a0’ with ‘Depend a’ NB: ‘Depend’ is a type function, and may not be injective The type variable ‘a0’ is ambiguous Expected type: t (Depend a) -> Bool |