[GHC] #8028: Panic on degenerate closed type family
#8028: Panic on degenerate closed type family ----------------------------------------------+----------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal | Component: Compiler (Type checker) Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Incorrect warning at compile-time | Blockedby: Blocking: | Related: ----------------------------------------------+----------------------------- Creating a degenerate closed type family via TH gives a panic in `toBranchList`. {{{ module T where import Language.Haskell.TH x = do n <- newName "F" return [ClosedTypeFamilyD n [] Nothing []] }}} {{{ module A where import T $(x) }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/8028> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#8028: Panic on degenerate closed type family ----------------------------------------+----------------------------------- Reporter: monoidal | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.7 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: Incorrect warning at compile-time Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ----------------------------------------+----------------------------------- Changes (by simonpj): * owner: => goldfire * difficulty: => Unknown Comment: Richard, I can tell you where to look for this. Simon -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/8028#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#8028: Panic on degenerate closed type family ----------------------------------------+----------------------------------- Reporter: monoidal | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.7 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: Incorrect warning at compile-time Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ----------------------------------------+----------------------------------- Comment(by eir@…): commit 67aacde3c9ec04b6e8e8e1d921001b218eb5244f {{{ Author: Richard Eisenberg <eir@cis.upenn.edu> Date: Tue Jul 2 21:07:07 2013 +0100 Fix Trac #8028. Check for an empty list of equations when converting a closed type family from TH to an HsDecl. compiler/hsSyn/Convert.lhs | 3 +++ 1 files changed, 3 insertions(+), 0 deletions(-) }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/8028#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#8028: Panic on degenerate closed type family ------------------------------------------------+--------------------------- Reporter: monoidal | Owner: goldfire Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.7 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Incorrect warning at compile-time | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: ------------------------------------------------+--------------------------- Changes (by goldfire): * status: new => closed * resolution: => fixed Comment: Thanks for reporting! -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/8028#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC