diff options
| author | Edward Z. Yang <ezyang@cs.stanford.edu> | 2016-12-07 23:07:19 -0800 |
|---|---|---|
| committer | Edward Z. Yang <ezyang@cs.stanford.edu> | 2016-12-08 15:03:18 -0800 |
| commit | 617d57d1166d67148f28401fabaf88295f1d3f06 (patch) | |
| tree | 4a7c6a19e5b0b6203f476f261104fb19cb49c645 /testsuite/tests/backpack/should_fail/bkpfail15.stderr | |
| parent | 62332f36b62431ddb9ab3c97365288c7d3fc2d39 (diff) | |
| download | haskell-617d57d1166d67148f28401fabaf88295f1d3f06.tar.gz | |
Reduce qualification in error messages from signature matching.
Summary:
Previously, we always qualified names, even if they were defined
in the modules we were matching. Adding the exports of the implementing
module into the RdrEnv greatly reduces the amount of qualification
(although we still can't qualify things that the signature *imported*.)
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
Test Plan: validate
Reviewers: simonpj, austin, bgamari
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D2803
Diffstat (limited to 'testsuite/tests/backpack/should_fail/bkpfail15.stderr')
| -rw-r--r-- | testsuite/tests/backpack/should_fail/bkpfail15.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/backpack/should_fail/bkpfail15.stderr b/testsuite/tests/backpack/should_fail/bkpfail15.stderr index 37d0f5d3a4..e761cb102e 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail15.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail15.stderr @@ -9,9 +9,9 @@ [1 of 1] Compiling A[sig] ( r/A.hsig, nothing ) bkpfail15.bkp:8:9: error: - • Identifier ‘q:Q.f’ has conflicting definitions in the module + • Identifier ‘f’ has conflicting definitions in the module and its hsig file - Main module: q:Q.f :: GHC.Types.Bool - Hsig file: q:Q.f :: GHC.Types.Int + Main module: f :: GHC.Types.Bool + Hsig file: f :: GHC.Types.Int The two types are different • while checking that q:Q implements signature Q in p[A=<A>, Q=q:Q] |