Re: Adding ConApp to Core

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 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@justtesting.org javascript:_e(%7B%7D,'cvml','chak@justtesting.org');> wrote:

...

I like this. Having the DataCon only in IdDetails always felt a bit off.

Manuel

Simon Peyton Jones via ghc-devs :

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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs