[GHC] #3012: A little deriving for GADTs

[GHC]

#3012: A little deriving for GADTs
-----------------------------+----------------------------------------------
Reporter:  guest             |          Owner:                  
    Type:  feature request   |         Status:  new             
Priority:  normal            |      Component:  Compiler        
 Version:  6.10.1            |       Severity:  minor           
Keywords:                    |       Testcase:                  
      Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
-----------------------------+----------------------------------------------
 For GADTs that are really enumerations, I think deriving Show should work.
 E.g.

 {{{
 data T a where
     Foo :: T Int
     Bar :: T Bool
     deriving (Show)
 }}}

 There's no(?) intricate behaviour of the derived functions, so why not?

   -- Lennart

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