GHC 6.6 GADT type unification vs GHC 6.8

[Jason Dagit]

On Tue, Jul 29, 2008 at 7:40 AM, Simon Peyton-Jones
<simonpj at microsoft.com>wrote:

>  Thanks, this makes sense and helps.   Is this described in the wobbly
> types paper, or is paper covering a different topics?  I would like to have
> a cite-able reference.
>
> Excellent question.   I believe that what I describe below is a *
> restriction* of the system described in the POPL'06 paper
>
>
> http://research.microsoft.com/%7Esimonpj/papers/gadt/gadt-icfp.pdf
>
>
>
> At this moment I can't remember when we changed to the additional
> restrictions below.  I think the reason was that we wanted to avoid the
> complexity of "fresh" mgus described in the paper, but memory is failing
> me.  Dimitrios or Stephanie may have a better memory.
>

Thank you.  I'm reading it now, and I believe it will work just perfect for
my needs.

Thanks,
Jason
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20080729/46da16ec/attachment.htm