[GHC] #8028: Panic on degenerate closed type family

1 Jul 2013


      #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