On Thu, May 2, 2013 at 12:09 PM, Erik de Castro Lopo <mle+hs@mega-nerd.com> wrote:

I've also been asking some questions of my local GHC internals guru Ben

Lippmeier. A couple of open questions Ben brought are as follows:

* The paper seems to be based on the System Fw + algebraic data types
(including existentials) based core, while core is now System Fc
with equality constraints and coercions. How does that affect this
project?

I'm afraid I don't know and I hope that someone smarter than me (Simon? :)) could comment on this.

* Does anyone have any feel for whether the Core2Core transforms will
be easier or more difficult to write with Strict Core?

I don't know if it'll be more verbose or not, but the result should be better since we have strictly more information available.