[GHC] #7221: DataKinds with recursive data and type synonym causing GHC to crash

[GHC]

#7221: DataKinds with recursive data and type synonym causing GHC to crash
---------------------------------+------------------------------------------
  Reporter:  gereeter            |          Owner:                
      Type:  bug                 |         Status:  closed        
  Priority:  normal              |      Milestone:                
 Component:  Compiler            |        Version:  7.4.2         
Resolution:  worksforme          |       Keywords:                
        Os:  Linux               |   Architecture:  x86_64 (amd64)
   Failure:  Compile-time crash  |     Difficulty:  Unknown       
  Testcase:                      |      Blockedby:                
  Blocking:                      |        Related:                
---------------------------------+------------------------------------------
Changes (by simonpj):

  * status:  new => closed
  * difficulty:  => Unknown
  * resolution:  => worksforme


Comment:

 I can't reproduce this, with 7.4.1.  However `DataKinds` are not an
 advertised feature of 7.4 anyway.

 Could you try with the just-released 7.6, and re-open the ticket if you
 can make it fail?  Many thanks.

 Simon

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