Adding ConApp to Core

Carter Schonwald carter.schonwald at gmail.com
Sun Sep 25 14:58:55 UTC 2016


I'm in favor as well.

I've some experiments I'd like to do on ghc (and that work would support me
focusing on!!!) that become dramatically simpler  to get the the Simons
seal of approval if core already gets multiple arg / simultaneous arg
saturated application (a la type are calling or sequent core  ).
:)
-Carter

On Saturday, September 24, 2016, Manuel M T Chakravarty <
chak at justtesting.org> wrote:

> I like this. Having the DataCon only in IdDetails always felt a bit off.
>
> Manuel
>
> Simon Peyton Jones via ghc-devs <ghc-devs at haskell.org
> <javascript:_e(%7B%7D,'cvml','ghc-devs at haskell.org');>>:
>
> Andres, Richard, Stephanie
>
> The more I think about our idea of introducing ConApp the more I like it.
> I wrote it up in a ticket
>
> https://ghc.haskell.org/trac/ghc/ticket/12618
>
> Simon
>
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> <javascript:_e(%7B%7D,'cvml','ghc-devs at haskell.org');>
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20160925/4b095a35/attachment.html>


More information about the ghc-devs mailing list