[GHC] #4259: Relax restrictions on type family instance overlap

[GHC]

#4259: Relax restrictions on type family instance overlap
----------------------------------------+-----------------------------------
    Reporter:  lilac                    |        Owner:              
        Type:  feature request          |       Status:  new         
    Priority:  normal                   |    Milestone:  7.2.1       
   Component:  Compiler (Type checker)  |      Version:  6.12.1      
    Keywords:                           |     Testcase:              
   Blockedby:                           |   Difficulty:              
          Os:  Unknown/Multiple         |     Blocking:              
Architecture:  Unknown/Multiple         |      Failure:  None/Unknown
----------------------------------------+-----------------------------------
Changes (by simonpj):

  * milestone:  7.0.1 => 7.2.1


Comment:

 We clearly aren't going to do this in 7.0, so re-milestoning.

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