[ghc-steering-committee] Please review #451: Sized literals proposal; Shepherd: Simon M

[Joachim Breitner]

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 <marlowsd at gmail.com>
> 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
> > <lists at richarde.dev> 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-sized-literals.rst
> > > 
> > > 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 at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/