[Haskell-cafe] formal semantics

[Ramana Kumar]

On Sat, Aug 25, 2012 at 8:17 PM, Kristopher Micinski <krismicinski at 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120825/556efb5c/attachment.htm>