[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
#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