Are we okay with stealing some operator sections for this? E.G. (x ||). I think the boxed sums larger than 2 choices are all technically overlapping with sections.
On Mon, Sep 7, 2015 at 10:35 AM, Simon Peyton Jones <simo...@microsoft.com> wrote: > Good start. > > > > I have updated the page to separate the source-language design (what the > programmer sees) from the implementation. > > > > And I have included boxed sums as well – it would be deeply strange not to > do so. > > > > Looks good to me! > > > > Simon > > > > From: Johan Tibell [mailto:johan.tib...@gmail.com] > Sent: 01 September 2015 18:24 > To: Simon Peyton Jones; Simon Marlow; Ryan Newton > Cc: ghc-devs@haskell.org > Subject: RFC: Unpacking sum types > > > > I have a draft design for unpacking sum types that I'd like some feedback > on. In particular feedback both on: > > > > * the writing and clarity of the proposal and > > * the proposal itself. > > > > https://ghc.haskell.org/trac/ghc/wiki/UnpackedSumTypes > > > > -- Johan > > > > > _______________________________________________ > ghc-devs mailing list > ghc-devs@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs > _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs