[GHC] #8230: GHCi 7.6.2 Crashes with GADT + DataKinds
#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
#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
#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
participants (1)
-
GHC