[GHC] #1896: Keep old bindings until :load succeeds

GHC cvs-ghc at haskell.org
Sat Apr 27 01:51:34 CEST 2013


#1896: Keep old bindings until :load succeeds
-------------------------------+--------------------------------------------
  Reporter:  tibbe             |          Owner:                  
      Type:  feature request   |         Status:  closed          
  Priority:  low               |      Milestone:  7.6.2           
 Component:  GHCi              |        Version:  6.8.1           
Resolution:  wontfix           |       Keywords:                  
        Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown      |     Difficulty:  Unknown         
  Testcase:                    |      Blockedby:                  
  Blocking:                    |        Related:                  
-------------------------------+--------------------------------------------
Changes (by igloo):

  * status:  patch => closed
  * resolution:  => wontfix


Comment:

 For the `:reload` case, I don't think we want to fall back to the previous
 state if the reload fails.

 For example, suppose you have `A` and `B` loaded, `B` imports `A`, and you
 make a change to `A` and reload. If `B` is no longer well-typed, then I
 think you want to end up with the new `A` loaded so that you can see how
 to fix `B`.

 I'm going to close this ticket, but if anyone thinks there's a case that
 should be handled differently than it currently is, please open a new
 ticket and include step by step instructions to demonstrate the current
 (wrong) behaviour, and say what you think the right behaviour should be.

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



More information about the ghc-tickets mailing list