GADT Strangeness

Isaac Dupree isaacdupree at
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 mailing list