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
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users