diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2013-06-21 13:58:24 +0100 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2013-06-21 13:58:24 +0100 |
| commit | c30744cc4fcd3a048dab246058f4f6831f38d798 (patch) | |
| tree | 6d4d0b1f5134e1a8a23af75c0bbc2d6fa90427f2 /testsuite/tests/indexed-types/should_fail/Overlap4.stderr | |
| parent | a26bf928d274f57c7c0c95df23c769244e90633e (diff) | |
| download | haskell-c30744cc4fcd3a048dab246058f4f6831f38d798.tar.gz | |
Updates to support closed type families.
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/Overlap4.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/Overlap4.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/Overlap4.stderr b/testsuite/tests/indexed-types/should_fail/Overlap4.stderr index fd97e97481..fd545b6334 100644 --- a/testsuite/tests/indexed-types/should_fail/Overlap4.stderr +++ b/testsuite/tests/indexed-types/should_fail/Overlap4.stderr @@ -1,5 +1,5 @@ -Overlap4.hs:6:15: - Conflicting family instance declarations: - F Char Char -- Defined at Overlap4.hs:6:15 - F a a -- Defined at Overlap4.hs:8:3 +Overlap4.hs:7:3: + Number of parameters must match family declaration; expected 2 + In the equations for closed type family âFâ + In the family declaration for âFâ |