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@haskell.org] On Behalf Of Sophie Taylor
Sent: 22 October 2014 10:26
To: ghc-devs@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)?