[GHC] #7894: Crash on :i M.->
#7894: Crash on :i M.-> -----------------------------+---------------------------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal | Component: Compiler (Parser) Version: 7.6.3 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: GHCi crash | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- {{{ Prelude> :i M.-> ghc: panic! (the 'impossible' happened) (GHC version 7.7.20130427 for x86_64-unknown-linux): isDataOcc: check me -> }}} -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7894 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#7894: Crash on :i M.->
-----------------------------+----------------------------------------------
Reporter: monoidal | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler (Parser)
Version: 7.6.3 | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: GHCi crash | Blockedby:
Blocking: | Related:
-----------------------------+----------------------------------------------
Comment(by simonpj@…):
commit 9b817e5b31175d445a3b4ae8215d91dccf523072
{{{
Author: Simon Peyton Jones
#7894: Crash on :i M.-> ---------------------------------+------------------------------------------ Reporter: monoidal | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler (Parser) | Version: 7.6.3 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: GHCi crash | Difficulty: Unknown Testcase: ghci/scripts/T7894 | Blockedby: Blocking: | Related: ---------------------------------+------------------------------------------ Changes (by simonpj): * status: new => closed * difficulty: => Unknown * resolution: => fixed * testcase: => ghci/scripts/T7894 Comment: The panic in `OccName.isDataOcc` looked like this: {{{ isDataOcc (OccName DataName _) = True isDataOcc (OccName VarName s) | isLexCon s = pprPanic "isDataOcc: check me" (ppr s) -- Jan06: I don't think this should happen isDataOcc _ = False }}} I see no good reason why `isDataOcc` should be sure that `isLexCon` would definitely be false (and it's true in this case). So I've just removed the bogus looking test. Simon -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7894#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (2)
-
GHC -
GHC