[GHC] #11208: GHCi doesn't qualify types anymore
GHC
ghc-devs at haskell.org
Sat Dec 12 23:19:29 UTC 2015
#11208: GHCi doesn't qualify types anymore
-------------------------------------+-------------------------------------
Reporter: hvr | Owner:
Type: bug | Status: new
Priority: highest | Milestone: 8.0.1
Component: GHCi | Version: 7.11
Resolution: | Keywords: regression
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: Other | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by hvr):
I notice this also applies to warning messages, i.e.
{{{
M.hs:5:1: Warning: Top-level binding with no type signature: f :: forall
a. P.Num a => a -> a
M.hs:7:1: Warning: Top-level binding with no type signature: g :: forall t
a. (t -> a) -> P.Maybe t -> P.Maybe a
}}}
vs
{{{
M.hs:5:1: warning: Top-level binding with no type signature: f :: forall
a. Num a => a -> a
M.hs:7:1: warning: Top-level binding with no type signature: g :: forall a
r. (r -> a) -> Maybe r -> Maybe a
}}}
In any case, this causes breakage for tooling (and users) relying on the
warnings and ghci-output to be qualified in the module-scope they've been
triggered from.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11208#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list