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/bkpfail06.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/bkpfail06.stderr')
-rw-r--r-- | testsuite/tests/backpack/should_fail/bkpfail06.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/backpack/should_fail/bkpfail06.stderr b/testsuite/tests/backpack/should_fail/bkpfail06.stderr index 1fb5d5311f..c050944284 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail06.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail06.stderr @@ -12,8 +12,8 @@ [1 of 2] Compiling H[sig] ( p/H.hsig, bkpfail06.out/p/p-IueY0RdHDM2I4k0mLZuqM0/H.o ) bkpfail06.bkp:10:9: error: - Type constructor ‘qimpl:T.T’ has conflicting definitions in the module + Type constructor ‘T’ has conflicting definitions in the module and its hsig file - Main module: data qimpl:T.T = qimpl:T.T GHC.Types.Bool - Hsig file: data qimpl:T.T = qimpl:T.T GHC.Types.Int - The constructors do not match: The types for ‘qimpl:T.T’ differ + Main module: data T = T GHC.Types.Bool + Hsig file: data T = T GHC.Types.Int + The constructors do not match: The types for ‘T’ differ |