RE: Current description of Core?

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)?