#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 simonpj): I'm sorry about that. For the benefit of other readers, GHCi tries to print types that make sense in the lexical scope of the REPL (i.e. the interactive context). If a type needs to be qualified, GHC will qualify it when printing it out. But in the commit hvr points to in comment:3, I gave the pacakges `ghc- prim`, `base` and `template-haskell` special behaviour, and are printed unqualified. How bad is that? Does tooling really parse error messages? (If so there should be a Better Way!) My motivation, as explained in the commit, was to avoid printing a heavily-qualified `Constraint` when giving kind signatures. But maybe there is a better way to do that? I'd be happy with an agreed design change here. As the commit says, it's a bit arbitrary as it stands. Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11208#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler