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

Hi all, This proposal has been lingering for a while in an all-but-accepted state (thanks Joachim for the nudge!). We had a couple of suggestions to improve the wording of the specification that the author has not responded to. Since they don't affect the content of the proposed change, I suggest we just merge the PR with the suggested improvements. Eric On Thu, Oct 29, 2020, at 09:30, Richard Eisenberg wrote:

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 () 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 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

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/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

Thanks, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org 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

---

ghc-steering-committee mailing list ghc-steering-committee@haskell.org 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

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee