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

Yes, I support this. Richard

On Oct 28, 2020, at 5:08 PM, Alejandro Serrano Mena wrote:

I am also fine with the proposal.

Alejandro

El mié., 28 oct. 2020 a las 16:13, Spiwack, Arnaud (mailto:arnaud.spiwack@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 mailto:eric@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-... https://github.com/treeowl/ghc-proposals/blob/sum-to-tag/proposals/0000-sum-...

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@joachim-breitner.de mailto:mail@joachim-breitner.de http://www.joachim-breitner.de/ http://www.joachim-breitner.de/

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org mailto:ghc-steering-committee@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@haskell.org mailto:ghc-steering-committee@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@haskell.org mailto:ghc-steering-committee@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@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee