Adding ConApp to Core

[Carter Schonwald]

Also this whole multi arg thing was something I was hoping to talk with
Stephanie and or Richard about at hac phi next month.

On Sunday, September 25, 2016, Carter Schonwald <carter.schonwald at gmail.com>
wrote:

> 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
> <javascript:_e(%7B%7D,'cvml','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>:
>>
>> 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
>> 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/9229aa4a/attachment-0001.html>