#5673: GHCi ignores {-# LANGUAGE OverloadedStrings #-}
---------------------+------------------------------------------------------
Reporter: erikd | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: GHCi | Version: 7.0.4
Resolution: | Keywords:
Testcase: | Blockedby:
Difficulty: | Os: Unknown/Multiple
Blocking: | Architecture: Unknown/Multiple
Failure: Other |
---------------------+------------------------------------------------------
Comment(by simonpj):
So I think the feature request is this:
* When GHCi displays a prompt for `*M>`, any LANGUAGE pramas in module M
should be in force at the prompt.
Is that it? That's a reasonable suggestion, bu there are some obvious
design questions:
* What if multiple modules are in scope at the prompt? Do we union their
language pragmas? What if they contradict each other (eg one has
`OverloadedStrings` and one has `NoOverloadedStrings` (admittedly
unusual))?
* Should this apply for modules in scope with all their bindings `*M>`,
or also for export-only ones `M>`. (I lean the former.)
* What if you say `:set MultiParamTypeClasses`. Does that apply
regardless of what modules are in scope? (Probably yes.)
I think there are probably resonable answers to these questions, but there
is a bit of design work to do. I wonder if there are other wrinkles I
have not thought of.
There would be some implementation work too; I think we don't currently
remember which flags were added as language pragmas on a per-module basis.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5673#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
