[GHC] #11208: GHCi doesn't qualify types anymore
GHC
ghc-devs at haskell.org
Mon Dec 14 15:27: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):
Replying to [comment:4 simonpj]:
> How bad is that? Does tooling really parse error messages? (If so
there should be a Better Way!)
While there *should* be a better way, there isn't yet... GHC doesn't ship
with anything better than GHC(i) right now
Here's two ways how this regression affects Emacs' haskell-mode:
- For warnings about missing type-signatures, Emacs parses the warning
message and then inserts the extracted missing type-signature
- Another feature is based on GHCi, which queries the symbol under the
cursors for its type, and then inserts that above as a type-signature
There may be other features I may have forgotten about which also require
to know renamer-information.
In both cases it's important to know how to qualify (if needed) symbols.
And in passive mode (e.g. when parsing GHC's warning messages w/o an
active GHCi session attached) Emacs has no way to query the module
namespace.
In active mode (e.g. when using GHCi to resolve/introspect information)
Emacs uses `:type`/`:browse`/`:info` as well as other commands newly added
(soon) to GHC 8.0 (see #10874). Those now are missing the module
qualifications
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11208#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list