[GHC] #3012: A little deriving for GADTs

[GHC]

#3012: A little deriving for GADTs
---------------------------------+------------------------------------------
    Reporter:  guest             |        Owner:                  
        Type:  feature request   |       Status:  new             
    Priority:  normal            |    Milestone:                  
   Component:  Compiler          |      Version:  6.10.1          
    Severity:  minor             |   Resolution:                  
    Keywords:                    |   Difficulty:  Unknown         
    Testcase:                    |           Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
---------------------------------+------------------------------------------
Comment (by igloo):

 We're going to typecheck the derived code anyway, right? I don't think
 it's worth trying to predict in advance whether or not this will succeed,
 especially as the prediction has the potential to not exactly match what
 the actual type checker will accept.

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