On Sat, Aug 25, 2012 at 8:17 PM, Kristopher Micinski <krismicinski@gmail.com> wrote:

Still unsure if the translation from
Haskell to Core has been verified, I would suspect not, as I haven't
heard of any such thing.

If it is only Core that has semantics, then it wouldn't make sense to verify the translation from Haskell to Core. Rather, the translation itself would be the semantics of (sugared) Haskell.