Yes, I support this. Richard
On Oct 28, 2020, at 5:08 PM, Alejandro Serrano Mena <trupill@gmail.com> wrote:
I am also fine with the proposal.
Alejandro
El mié., 28 oct. 2020 a las 16:13, Spiwack, Arnaud (<arnaud.spiwack@tweag.io <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 <eric@seidel.io <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-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@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