isaacdupree at charter.net
Wed Dec 31 23:29:15 EST 2008
Simon Peyton-Jones wrote:
> This is a nasty corner I agree. GHC requires -XGADTs for you to *define* a GADT. Perhaps it should also require -XGADTs for you to *match against* one (as you are doing here). That would avoid this particular hole. If you think that would be a step forward, do put forward a Trac feature request, and encourage others to support it.
okay, well I made a feature request, anyway,
-- people, please comment it! (whether you do or don't
support it, maybe explaining why/not)
More information about the Glasgow-haskell-users