[ghc-steering-committee] Please review #369: Add sumToTag# primop, Shepherd: Eric

Richard Eisenberg rae at richarde.dev
Thu Oct 29 13:30:36 UTC 2020


Yes, I support this.

Richard

> On Oct 28, 2020, at 5:08 PM, Alejandro Serrano Mena <trupill at gmail.com> wrote:
> 
> I am also fine with the proposal.
> 
> Alejandro
> 
> El mié., 28 oct. 2020 a las 16:13, Spiwack, Arnaud (<arnaud.spiwack at tweag.io <mailto:arnaud.spiwack at tweag.io>>) escribió:
> The wording of the specification section is still a bit awkward, in my opinion. Other than that, I'm fine with the proposal.
> 
> On Wed, Oct 28, 2020 at 12:52 AM Eric Seidel <eric at seidel.io <mailto:eric at seidel.io>> wrote:
> Hi all,
> 
> I have recommended acceptance of this proposal. It's a simple addition that fills what appears to be a gap in our API around unboxed sums (we already provide `dataToTag#` for lifted types).
> 
> Please take a look.
> 
> https://github.com/ghc-proposals/ghc-proposals/pull/369 <https://github.com/ghc-proposals/ghc-proposals/pull/369>
> 
> Thanks!
> Eric
> 
> On Thu, Oct 22, 2020, at 03:31, Joachim Breitner wrote:
> > Dear Committee,
> > 
> > this is your secretary speaking:
> > 
> > Add sumToTag# primop
> > has been proposed by David Feuer
> > https://github.com/ghc-proposals/ghc-proposals/pull/369 <https://github.com/ghc-proposals/ghc-proposals/pull/369>
> > https://github.com/treeowl/ghc-proposals/blob/sum-to-tag/proposals/0000-sum-to-tag.md <https://github.com/treeowl/ghc-proposals/blob/sum-to-tag/proposals/0000-sum-to-tag.md>
> > 
> > I’ll propose Eric Seidel as the shepherd.
> > 
> > Please guide us to a conclusion as outlined in 
> > https://github.com/ghc-proposals/ghc-proposals#committee-process <https://github.com/ghc-proposals/ghc-proposals#committee-process>
> > 
> > Thanks,
> > Joachim
> > -- 
> > Joachim Breitner
> >   mail at joachim-breitner.de <mailto:mail at joachim-breitner.de>
> >   http://www.joachim-breitner.de/ <http://www.joachim-breitner.de/>
> > 
> > 
> > _______________________________________________
> > ghc-steering-committee mailing list
> > ghc-steering-committee at haskell.org <mailto:ghc-steering-committee at haskell.org>
> > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee <https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee>
> >
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org <mailto:ghc-steering-committee at haskell.org>
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee <https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee>
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org <mailto:ghc-steering-committee at haskell.org>
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee <https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee>
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20201029/99590214/attachment.html>


More information about the ghc-steering-committee mailing list