[GHC] #8230: GHCi 7.6.2 Crashes with GADT + DataKinds

[GHC]

#8230: GHCi 7.6.2 Crashes with GADT + DataKinds
---------------------------------------+----------------------------------
        Reporter:  jozefg              |            Owner:
            Type:  bug                 |           Status:  closed
        Priority:  normal              |        Milestone:
       Component:  Compiler            |          Version:  7.6.2
      Resolution:  duplicate           |         Keywords:  GADT
Operating System:  Linux               |     Architecture:  x86_64 (amd64)
 Type of failure:  Compile-time crash  |       Difficulty:  Unknown
       Test Case:                      |       Blocked By:
        Blocking:                      |  Related Tickets:
---------------------------------------+----------------------------------
Changes (by simonpj):

 * status:  new => closed
 * resolution:   => duplicate


Comment:

 I suspect that, like #8225, this is a dup of #7502.  It certainly works
 fine in HEAD.  Please re-open if you find that it doesn't.

 Thanks

 Simon

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