GHC 6.6 GADT type unification vs GHC 6.8
dagit at codersbase.com
Tue Jul 29 11:58:50 EDT 2008
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
> 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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Glasgow-haskell-users