[GHC] #5655: Oddity with ConstraintKinds and TypeFamilies

[GHC]

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

Comment(by illissius):

 Oh, also:

 {{{
 $ git log --max-count=1
 commit be879ba686f96375c6e3d65b97ed0508ddbfc9a1
 Author: Max Bolingbroke <batterseapower at hotmail.com>
 Date:   Sat Nov 19 11:27:38 2011 +0000

     Add branch command to sync-all
 }}}

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