Current description of Core?

[Adam Gundry]

Hi,

On 22/10/14 10:26, Sophie Taylor wrote:
> Is the current description of Core still System FC_2 (described in
> https://www.seas.upenn.edu/~sweirich/papers/popl163af-weirich.pdf)?

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

http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/

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:

https://github.com/ghc/ghc/blob/master/docs/core-spec/core-spec.pdf?raw=true

Hope this helps,

Adam


-- 
Adam Gundry, Haskell Consultant
Well-Typed LLP, http://www.well-typed.com/