diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-10-01 18:27:21 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-10-01 18:27:21 +0100 |
| commit | 4bdbdd1bd7185d53b8ae0134feea4bd4850e35f0 (patch) | |
| tree | 623ffc30a4c1d5b1ce2df8b5daa788b971b07288 | |
| parent | bd0c90055627b66d19d93bb0445b3c099030259e (diff) | |
| download | haskell-4bdbdd1bd7185d53b8ae0134feea4bd4850e35f0.tar.gz | |
Better fundep error message
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail170.stderr | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail170.stderr b/testsuite/tests/typecheck/should_fail/tcfail170.stderr index 3f57d54142..e6f9a3f59b 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail170.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail170.stderr @@ -1,7 +1,7 @@ -
-tcfail170.hs:7:10:
- Illegal instance declaration for ‛C [p] [q]’
- The coverage condition fails for functional dependency: ‛a -> b’
- Reason: ‛[p]’ do not jointly determine ‛[q]’
- Using UndecidableInstances might help
- In the instance declaration for ‛C [p] [q]’
+ +tcfail170.hs:7:10: + Illegal instance declaration for ‛C [p] [q]’ + The coverage condition fails in class ‛C’ + for functional dependency: ‛a -> b’ + Reason: lhs type ‛[p]’ does not deternine rhs type ‛[q]’ + In the instance declaration for ‛C [p] [q]’ |