Implementing Strict Core

Johan Tibell johan.tibell at
Thu May 2 21:50:39 CEST 2013

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

More information about the ghc-devs mailing list