Re: Current description of Core?

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/