On Thu, May 2, 2013 at 12:09 PM, Erik de Castro Lopo
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.