[GHC] #6147: GeneralizedNewtypeDeriving should fail with data families

[GHC]

#6147: GeneralizedNewtypeDeriving should fail with data families
-----------------------------------------+----------------------------------
 Reporter:  rl                           |          Owner:                  
     Type:  bug                          |         Status:  new             
 Priority:  normal                       |      Component:  Compiler        
  Version:  7.2.1                        |       Keywords:                  
       Os:  Unknown/Multiple             |   Architecture:  Unknown/Multiple
  Failure:  GHC accepts invalid program  |       Testcase:                  
Blockedby:                               |       Blocking:                  
  Related:                               |  
-----------------------------------------+----------------------------------

Comment(by rl):

 In fact, we can easily get a segfault by adding these two lines to the
 above:

 {{{
 data instance T Foo = T1 (Int -> Int)
 main = case foo (Foo 0) of T1 f -> print (f 5)
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6147#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler