<div class="gmail_quote">On Sat, Aug 25, 2012 at 8:17 PM, Kristopher Micinski <span dir="ltr">&lt;<a href="mailto:krismicinski@gmail.com" target="_blank">krismicinski@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

Still unsure if the translation from<br>
Haskell to Core has been verified, I would suspect not, as I haven&#39;t<br>
heard of any such thing.<br></blockquote><div><br>If it is only Core that has semantics, then it wouldn&#39;t make sense to verify the translation from Haskell to Core. Rather, the translation itself would be the semantics of (sugared) Haskell. <br>

</div></div>