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 < [email protected]> wrote: > I like this. Having the DataCon only in IdDetails always felt a bit off. > > Manuel > > Simon Peyton Jones via ghc-devs <[email protected] > <javascript:_e(%7B%7D,'cvml','[email protected]');>>: > > 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 > [email protected] > <javascript:_e(%7B%7D,'cvml','[email protected]');> > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs > > >
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
