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

GHC ghc-devs at haskell.org
Thu Sep 5 05:19:46 CEST 2013


#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
       Keywords:  GADT              |  Operating System:  Unknown/Multiple
   Architecture:  Unknown/Multiple  |   Type of failure:  None/Unknown
     Difficulty:  Unknown           |         Test Case:
     Blocked By:                    |          Blocking:
Related Tickets:                    |
------------------------------------+-------------------------------------
 The following snippet caused GHCi to die

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

 with the following error message

     ghc: panic! (the 'impossible' happened)
       (GHC version 7.6.2 for x86_64-unknown-linux):
         lookupVers2
     <<details unavailable>>
     Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug

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




More information about the ghc-tickets mailing list