<div dir="ltr">On Thu, May 2, 2013 at 12:09 PM, Erik de Castro Lopo <span dir="ltr">&lt;<a href="mailto:mle+hs@mega-nerd.com" target="_blank">mle+hs@mega-nerd.com</a>&gt;</span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im"><span style="color:rgb(34,34,34)">I&#39;ve also been asking some questions of my local GHC internals guru Ben</span><br>

</div>
Lippmeier. A couple of open questions Ben brought are as follows:<br>
<br>
* The paper seems to be based on the System Fw + algebraic data types<br>
  (including existentials) based core, while core is now System Fc<br>
  with equality constraints and coercions. How does that affect this<br>
  project?<br></blockquote><div><br></div><div style>I&#39;m afraid I don&#39;t know and I hope that someone smarter than me (Simon? :)) could comment on this.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

* Does anyone have any feel for whether the Core2Core transforms will<br>
  be easier or more difficult to write with Strict Core?<br></blockquote><div><br></div><div style>I don&#39;t know if it&#39;ll be more verbose or not, but the result should be better since we have strictly more information available.</div>

<div style> </div></div></div></div>