[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:  new
        Priority:  normal              |        Milestone:
       Component:  Compiler            |          Version:  7.6.2
      Resolution:                      |         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 jozefg):

 * failure:  None/Unknown => Compile-time crash
 * os:  Unknown/Multiple => Linux
 * architecture:  Unknown/Multiple => x86_64 (amd64)


Comment:

 Sorry, that code snippet was

 {{{
 {-# LANGUAGE GADTs, DataKinds #-}
 data A n where
   A :: A 0
 }}}

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