Johan Tibell wrote:
I've been thinking about Strict Core quite a bit lately.
Same here. Ever since you posted a link to that paper on G+. 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? * Does anyone have any feel for whether the Core2Core transforms will be easier or more difficult to write with Strict Core? Cheers, Erik -- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/