[GHC] #1496: Newtypes and type families combine to produce inconsistent FC(X) axiom sets

[GHC]

#1496: Newtypes and type families combine to produce inconsistent FC(X) axiom sets
----------------------------------------+-----------------------------------
    Reporter:  sorear                   |        Owner:  simonpj         
        Type:  bug                      |       Status:  new             
    Priority:  normal                   |    Milestone:  6.12 branch     
   Component:  Compiler (Type checker)  |      Version:  6.7             
    Severity:  critical                 |   Resolution:                  
    Keywords:                           |   Difficulty:  Unknown         
    Testcase:                           |           Os:  Unknown/Multiple
Architecture:  Unknown/Multiple         |  
----------------------------------------+-----------------------------------
Changes (by igloo):

  * milestone:  6.10 branch => 6.12 branch

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