diff options
| author | Phil de Joux <phil.dejoux@blockscope.com> | 2017-01-20 14:59:44 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-01-20 16:13:52 -0500 |
| commit | 33140f41b931fb81bf2e5aa28603fe757bb3779d (patch) | |
| tree | f284c1d4363fcea665be5aef2706ecfb3c5cea16 /compiler/ghci | |
| parent | d49b2bb21691892ca6ac8f2403e31f2a5e53feb3 (diff) | |
| download | haskell-33140f41b931fb81bf2e5aa28603fe757bb3779d.tar.gz | |
Show explicit quantifiers in conflicting definitions error
This fixes #12441, where definitions in a Haskell module and its boot
file which differed only in their quantifiers produced a confusing error
message. Here we teach GHC to always show quantifiers for these errors.
Reviewers: goldfire, simonmar, erikd, austin, hvr, bgamari
Reviewed By: bgamari
Subscribers: snowleopard, simonpj, mpickering, thomie
Differential Revision: https://phabricator.haskell.org/D2734
GHC Trac Issues: #12441
Diffstat (limited to 'compiler/ghci')
| -rw-r--r-- | compiler/ghci/Debugger.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/ghci/Debugger.hs b/compiler/ghci/Debugger.hs index 4d7f8e3ef0..95d734ea5d 100644 --- a/compiler/ghci/Debugger.hs +++ b/compiler/ghci/Debugger.hs @@ -22,6 +22,7 @@ import GHCi.RemoteTypes import GhcMonad import HscTypes import Id +import IfaceSyn ( showToHeader ) import IfaceEnv( newInteractiveBinder ) import Name import Var hiding ( varName ) @@ -214,7 +215,7 @@ pprTypeAndContents :: GhcMonad m => Id -> m SDoc pprTypeAndContents id = do dflags <- GHC.getSessionDynFlags let pcontents = gopt Opt_PrintBindContents dflags - pprdId = (PprTyThing.pprTyThing . AnId) id + pprdId = (pprTyThing showToHeader . AnId) id if pcontents then do let depthBound = 100 |