[GHC] #5655: Oddity with ConstraintKinds and TypeFamilies

[GHC]

#5655: Oddity with ConstraintKinds and TypeFamilies
---------------------------------------------+------------------------------
  Reporter:  illissius                       |          Owner:                
      Type:  bug                             |         Status:  closed        
  Priority:  normal                          |      Milestone:                
 Component:  Compiler (Type checker)         |        Version:  7.3           
Resolution:  fixed                           |       Keywords:                
  Testcase:  typecheck/should_compile/T5655  |      Blockedby:                
Difficulty:                                  |             Os:  Linux         
  Blocking:                                  |   Architecture:  x86_64 (amd64)
   Failure:  GHC rejects valid program       |  
---------------------------------------------+------------------------------

Comment(by illissius):

 Thanks for fixing it so quickly.

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