Implementing Strict Core

[Johan Tibell]

On Thu, May 2, 2013 at 12:09 PM, Erik de Castro Lopo
<mle+hs at 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20130502/a18d4b66/attachment.htm>