A little deriving for GADTs
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
Trac metadata
Trac field | Value |
---|---|
Version | 6.10.1 |
Type | FeatureRequest |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | lennart@augustsson.net |
Operating system | |
Architecture |