Please review #451: Sized literals proposal; Shepherd: Simon M

Dear Committee, This is your interim secretary speaking: Sized literals proposal, proposing syntax for literals for the new sized primitive numeric types, has been proposed by Sylvain Henry. https://github.com/ghc-proposals/ghc-proposals/pull/451 https://github.com/hsyl20/ghc-proposals/blob/sized-literals/proposals/0000-s... I propose Simon M as the shepherd. Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process Thanks, Richard

Dear committee,
Proposal #451 is about adding syntax for sized unboxed literals. That is,
constants of type `Int8#`, `Word64#` and so on. The proposed syntax is
`123#i8` and `123#u64` for `Int8#` and `Word64#` respectively.
I think we should accept the proposal, but in my opinion this might not be
the best choice of syntax. It was chosen to be consistent with Rust, but
it's a bit of an outlier in Haskell/GHC. I would probably choose `123#Int8`
and `123#Word64`.
Feel free to comment on the github thread
https://github.com/ghc-proposals/ghc-proposals/pull/451
Cheers
Simon
On Fri, 19 Nov 2021 at 19:30, Richard Eisenberg
Dear Committee,
This is your interim secretary speaking:
Sized literals proposal, proposing syntax for literals for the new sized primitive numeric types, has been proposed by Sylvain Henry.
https://github.com/ghc-proposals/ghc-proposals/pull/451
https://github.com/hsyl20/ghc-proposals/blob/sized-literals/proposals/0000-s...
I propose Simon M as the shepherd.
Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process
Thanks, Richard

The proposal looks quite sensible to me. On the other hand, I have no
opinion regarding `123#u64` vs `123#Word64`.
On Tue, Jan 11, 2022 at 11:28 AM Simon Marlow
Dear committee,
Proposal #451 is about adding syntax for sized unboxed literals. That is, constants of type `Int8#`, `Word64#` and so on. The proposed syntax is `123#i8` and `123#u64` for `Int8#` and `Word64#` respectively.
I think we should accept the proposal, but in my opinion this might not be the best choice of syntax. It was chosen to be consistent with Rust, but it's a bit of an outlier in Haskell/GHC. I would probably choose `123#Int8` and `123#Word64`.
Feel free to comment on the github thread https://github.com/ghc-proposals/ghc-proposals/pull/451
Cheers Simon
On Fri, 19 Nov 2021 at 19:30, Richard Eisenberg
wrote: Dear Committee,
This is your interim secretary speaking:
Sized literals proposal, proposing syntax for literals for the new sized primitive numeric types, has been proposed by Sylvain Henry.
https://github.com/ghc-proposals/ghc-proposals/pull/451
https://github.com/hsyl20/ghc-proposals/blob/sized-literals/proposals/0000-s...
I propose Simon M as the shepherd.
Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process
Thanks, Richard
_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

Just to wind this up: there was a vote on the github thread about syntax,
and we ended up with `123#Int8` and `123#Word64`. There were no dissenting
comments, so we can declare the proposal accepted.
Cheers
Simon
On Tue, 11 Jan 2022 at 10:28, Simon Marlow
Dear committee,
Proposal #451 is about adding syntax for sized unboxed literals. That is, constants of type `Int8#`, `Word64#` and so on. The proposed syntax is `123#i8` and `123#u64` for `Int8#` and `Word64#` respectively.
I think we should accept the proposal, but in my opinion this might not be the best choice of syntax. It was chosen to be consistent with Rust, but it's a bit of an outlier in Haskell/GHC. I would probably choose `123#Int8` and `123#Word64`.
Feel free to comment on the github thread https://github.com/ghc-proposals/ghc-proposals/pull/451
Cheers Simon
On Fri, 19 Nov 2021 at 19:30, Richard Eisenberg
wrote: Dear Committee,
This is your interim secretary speaking:
Sized literals proposal, proposing syntax for literals for the new sized primitive numeric types, has been proposed by Sylvain Henry.
https://github.com/ghc-proposals/ghc-proposals/pull/451
https://github.com/hsyl20/ghc-proposals/blob/sized-literals/proposals/0000-s...
I propose Simon M as the shepherd.
Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process
Thanks, Richard

Great, merged. Am Samstag, dem 23.04.2022 um 13:14 +0100 schrieb Simon Marlow:
Just to wind this up: there was a vote on the github thread about syntax, and we ended up with `123#Int8` and `123#Word64`. There were no dissenting comments, so we can declare the proposal accepted.
Cheers Simon
On Tue, 11 Jan 2022 at 10:28, Simon Marlow
wrote: Dear committee,
Proposal #451 is about adding syntax for sized unboxed literals. That is, constants of type `Int8#`, `Word64#` and so on. The proposed syntax is `123#i8` and `123#u64` for `Int8#` and `Word64#` respectively.
I think we should accept the proposal, but in my opinion this might not be the best choice of syntax. It was chosen to be consistent with Rust, but it's a bit of an outlier in Haskell/GHC. I would probably choose `123#Int8` and `123#Word64`.
Feel free to comment on the github thread https://github.com/ghc-proposals/ghc-proposals/pull/451
Cheers Simon
On Fri, 19 Nov 2021 at 19:30, Richard Eisenberg
wrote: Dear Committee,
This is your interim secretary speaking:
Sized literals proposal, proposing syntax for literals for the new sized primitive numeric types, has been proposed by Sylvain Henry.
https://github.com/ghc-proposals/ghc-proposals/pull/451 https://github.com/hsyl20/ghc-proposals/blob/sized-literals/proposals/0000-s...
I propose Simon M as the shepherd.
Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process
Thanks, Richard
ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
-- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/
participants (4)
-
Joachim Breitner
-
Richard Eisenberg
-
Simon Marlow
-
Spiwack, Arnaud