Current description of Core?

[Simon Peyton Jones]

Is the current description of Core still System FC_2 (described in https://www.seas.upenn.edu/~sweirich/papers/popl163af-weirich.pdf)?

We never implemented that particular version (too complicated!).

This is the full current story (thanks to Richard for keeping it up to date), in the GHC source tree
:
https://ghc.haskell.org/trac/ghc/browser/ghc/docs/core-spec/core-spec.pdf

Simon

From: ghc-devs [mailto:ghc-devs-bounces at haskell.org] On Behalf Of Sophie Taylor
Sent: 22 October 2014 10:26
To: ghc-devs at haskell.org
Subject: Current description of Core?

Hi,

Is the current description of Core still System FC_2 (described in https://www.seas.upenn.edu/~sweirich/papers/popl163af-weirich.pdf)?


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20141022/e29a52dc/attachment-0001.html>