[GHC] #4981: inconsistent class requirements with TypeFamilies and FlexibleContexts

[GHC]

#4981: inconsistent class requirements with TypeFamilies and FlexibleContexts
---------------------------------------------------------------------------------+
  Reporter:  ganesh                                                              |          Owner:  simonpj         
      Type:  bug                                                                 |         Status:  closed          
  Priority:  high                                                                |      Milestone:  7.2.1           
 Component:  Compiler (Type checker)                                             |        Version:  7.0.1           
Resolution:  fixed                                                               |       Keywords:                  
  Testcase:  indexed-types/should_compile/T4981-V1.hs, T4981-V2.hs, T4981-V3.hs  |      Blockedby:                  
Difficulty:                                                                      |             Os:  Unknown/Multiple
  Blocking:                                                                      |   Architecture:  Unknown/Multiple
   Failure:  GHC rejects valid program                                           |  
---------------------------------------------------------------------------------+
Changes (by dimitris):

  * testcase:  => indexed-types/should_compile/T4981-V1.hs, T4981-V2.hs,
               T4981-V3.hs


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