Current description of Core?

[Sophie Taylor]

Ah, thanks HEAPS. I've been banging my head against a wall for the last few
days trying to see exactly what is going on :) I'm trying to find a way to
minimise/eliminate the changes required to Core for the arrow notation
rewrite  - specifically, introducing kappa abstraction and application -
semantically different to lambda abstraction/application but close enough
that I can probably get away with either adding a simple flag to the
Abstraction/Application constructors or doing it higher up in the HsExpr
land, but the latter method leaves a sour taste in my mouth.

On 22 October 2014 19:35, Simon Peyton Jones <simonpj at microsoft.com> wrote:

>   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/a5ac7567/attachment.html>