[GHC] #6152: Type synonym for Type family + DataKinds won't recompile due to internal error

[GHC]

#6152: Type synonym for Type family + DataKinds won't recompile due to internal
error
-------------------------------------------------+--------------------------
  Reporter:  konn                                |          Owner:                
      Type:  bug                                 |         Status:  closed        
  Priority:  normal                              |      Milestone:                
 Component:  Compiler                            |        Version:  7.4.1         
Resolution:  fixed                               |       Keywords:                
        Os:  MacOS X                             |   Architecture:  x86_64 (amd64)
   Failure:  GHC rejects valid program           |     Difficulty:  Unknown       
  Testcase:  indexed_types/should_compile/T6152  |      Blockedby:                
  Blocking:                                      |        Related:                
-------------------------------------------------+--------------------------
Changes (by simonpj):

  * status:  new => closed
  * difficulty:  => Unknown
  * resolution:  => fixed
  * testcase:  => indexed_types/should_compile/T6152


Comment:

 Thanks. Happily, already fixed in HEAD.  I added a regression test.

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