[GHC] #3217: Make GHCi have separate flags for interactive Haskell expressions

[GHC]

#3217: Make GHCi have separate flags for interactive Haskell expressions
---------------------------------+------------------------------------------
    Reporter:  simonpj           |        Owner:                  
        Type:  feature request   |       Status:  new             
    Priority:  normal            |    Milestone:  6.12 branch     
   Component:  Compiler          |      Version:  6.10.2          
    Severity:  normal            |   Resolution:                  
    Keywords:                    |   Difficulty:  Unknown         
    Testcase:                    |           Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
---------------------------------+------------------------------------------
Comment (by simonmar):

 Replying to [comment:5 claus]:

 > (eg., I'd be tempted to classify `:m +*Data.Map +*Data.IntMap` as an
 error, even if the source are available, on the rationale that `:m +mod`
 means `import` while `:m +*mod` means `include`).

 I'd be tempted to agree, although this is a fairly deep change.  The
 context is currently `([Module],[Module])`, this would mean changing it to
 `Either Module [Module]`, or perhaps `([Module], Maybe Module)`.  Probably
 this ought to be done at the same time as allowing general import
 declarations (#2362), since that also changes the type here.

 If we made this change, then I think it makes sense to take into account
 the flags and defaults of the "current" module.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3217#comment:6>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler