Current description of Core?

Adam Gundry adam at
Wed Oct 22 09:34:46 UTC 2014


On 22/10/14 10:26, Sophie Taylor wrote:
> Is the current description of Core still System FC_2 (described in

There have been a few extensions since then, described in these papers:

Also, if you're interested in the gory details of what GHC *really*
implements, as opposed to the sanitized academic version, Richard
Eisenberg put together a nice description of Core that you can find in
the GHC repository:

Hope this helps,


Adam Gundry, Haskell Consultant
Well-Typed LLP,

More information about the ghc-devs mailing list