On 11/30/09, Matthijs Kooijman <matth...@stdin.nl> wrote: > Hi All, > > I was wondering if there are any formal semantics defined for GHC's core > language? I'm working with some core to core rewriting passes for which I'd > like to verify the soundness, but that would require some formal definition > of > the Core semantics of sorts... >
It may not be exactly what you're looking for, but the extcore package includes a typechecker and interpreter that provide an executable static and dynamic semantics for External Core (which is similar to the Core language that GHC uses externally, but not quite the same): http://hackage.haskell.org/package/extcore Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt "Do we learn from our mistakes? I surely hope not / Takes all the fun out of making them again." -- Trout Fishing In America _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
