GADT Strangeness

Dominic Steinitz dominic.steinitz at
Sat Jan 10 05:23:14 EST 2009

Simon Peyton-Jones wrote:

> | Is it worth noting it here
> |
> | or is it something that has always existed with GADTs and I just didn't
> | trip over it?
> I've added a para.  Good idea.

Thanks very much. I'm slightly embarassed: what I meant was that I would
add the paragraph if you thought it was worth doing.

> OK.  let's see if anyone else comments.  Do ping me in a while to action it if I forget.

I suppose its priority depends on how many people start to get tripped
up. I'm guessing there aren't that many GADT users who don't know (by
now at any rate) how to understand the error messages. I'm sure there
are plenty of higher priority items.


More information about the Glasgow-haskell-users mailing list