GHC 6.6 GADT type unification vs GHC 6.8

Jason Dagit dagit at
Tue Jul 29 11:58:50 EDT 2008

On Tue, Jul 29, 2008 at 7:40 AM, Simon Peyton-Jones
<simonpj at>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
> 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.

-------------- next part --------------
An HTML attachment was scrubbed...

More information about the Glasgow-haskell-users mailing list