[GHC] #4485: Per-class incoherence, and solve incoherent instances last

[GHC]

#4485: Per-class incoherence, and solve incoherent instances last
----------------------------------------------+-----------------------------
  Reporter:  JeremyShaw                       |          Owner:                  
      Type:  bug                              |         Status:  closed          
  Priority:  normal                           |      Milestone:  7.2.1           
 Component:  Compiler                         |        Version:  7.0.1 RC1       
Resolution:  fixed                            |       Keywords:                  
  Testcase:  indexed-types/should_fail/T4485  |      Blockedby:                  
Difficulty:                                   |             Os:  Unknown/Multiple
  Blocking:                                   |   Architecture:  Unknown/Multiple
   Failure:  GHC rejects valid program        |  
----------------------------------------------+-----------------------------
Changes (by simonpj):

  * status:  new => closed
  * resolution:  => fixed


Comment:

 I've just checked. Both "overlapping-intsances" and "incoherent-instances"
 are recorded for the instance declaration; what matters is what flags were
 on when the instance decls were compiled, not when the instances are used.
 The documentation seems to reflect that.

 When I said I'd leave the ticket open for "per-clas incoherent instances"
 I really meant "per-instance" and we have that.  (Or at least, recorded
 per-instance, albeit from a per-module flag.  A more local pragma would
 also make sense, but that's a separate feature.)

 So I'll close this ticket.

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