31 Dec
2008
31 Dec
'08
11:29 p.m.
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, http://hackage.haskell.org/trac/ghc/ticket/2905 -- people, please comment it! (whether you do or don't support it, maybe explaining why/not) -Isaac