[GHC] #7681: Panic on quoting empty case
#7681: Panic on quoting empty case -----------------------------+---------------------------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- With -XEmptyCase on, {{{ Prelude Language.Haskell.TH> runQ [| case 0 of {} |] ghc: panic! (the 'impossible' happened) (GHC version 7.7.20130209 for x86_64-unknown-linux): coreList: empty argument }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7681> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#7681: Panic on quoting empty case -----------------------------+---------------------------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal | Component: Template Haskell Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- Changes (by monoidal): * component: Compiler => Template Haskell Comment: Splicing does not work, either: {{{ Prelude Language.Haskell.TH> $(return $ CaseE (LitE (IntegerL 0)) []) <interactive>:7:3: Case expression with no alternatives When splicing a TH expression: case 0 of In the expression: $(return $ CaseE (LitE (IntegerL 0)) []) In an equation for `it': it = $(return $ CaseE (LitE (IntegerL 0)) []) }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7681#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#7681: Panic on quoting empty case -----------------------------+---------------------------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal | Component: Template Haskell Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- Comment(by eir@…): commit 7b098b6009727a012cb1f3ff0ca51698d302cae1 {{{ Author: Richard Eisenberg <eir@cis.upenn.edu> Date: Mon Feb 11 23:07:25 2013 -0500 Fix Trac #7681. Removed checks for empty lists for case expressions and lambda-case. If -XEmptyCase is not enabled, compilation still fails (appropriately) in the renamer. Had to remove dead code from TrieMap to pass the validator. compiler/coreSyn/TrieMap.lhs | 38 +------------------------------------- compiler/deSugar/DsMeta.hs | 6 ++++-- compiler/hsSyn/Convert.lhs | 8 ++------ libraries/random | 2 +- 4 files changed, 8 insertions(+), 46 deletions(-) }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7681#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#7681: Panic on quoting empty case ---------------------------------+------------------------------------------ Reporter: monoidal | Owner: Type: bug | Status: closed Priority: normal | Component: Template Haskell Version: 7.7 | Resolution: fixed Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by goldfire): * status: new => closed * resolution: => fixed -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7681#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC