diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-03-02 16:35:42 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-03-02 16:35:42 +0000 |
| commit | 64880bb7693ca9a97e26a292b5d3fe402f72c143 (patch) | |
| tree | 87885e83aab4d79fdc15922eba28ea0e63f622c1 /testsuite/tests/typecheck/should_fail/FailDueToGivenOverlapping.stderr | |
| parent | 7a29e7e2e17b47360adfca59d049b77f8ec3f0f7 (diff) | |
| download | haskell-64880bb7693ca9a97e26a292b5d3fe402f72c143.tar.gz | |
Modified error output and new tests for PolyKinds commit
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/FailDueToGivenOverlapping.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/FailDueToGivenOverlapping.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/FailDueToGivenOverlapping.stderr b/testsuite/tests/typecheck/should_fail/FailDueToGivenOverlapping.stderr index 229b14a15b..24b2149bf5 100644 --- a/testsuite/tests/typecheck/should_fail/FailDueToGivenOverlapping.stderr +++ b/testsuite/tests/typecheck/should_fail/FailDueToGivenOverlapping.stderr @@ -7,7 +7,7 @@ FailDueToGivenOverlapping.hs:27:9: Matching givens (or their superclasses): (E [Int]) bound by the type signature for bar :: E [Int] => () -> () - at FailDueToGivenOverlapping.hs:27:1-23 + at FailDueToGivenOverlapping.hs:26:8-26 (The choice depends on the instantiation of `t0') In the expression: eop [undefined] In an equation for `bar': bar _ = eop [undefined] |