On Thu, May 2, 2013 at 12:09 PM, Erik de Castro Lopo <mle...@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.
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs
