#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_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
