[ghc-steering-committee] #596: sized literals in Show, rec: accept
Joachim Breitner
mail at joachim-breitner.de
Sat Jul 15 16:45:23 UTC 2023
Merged!
Am Sonntag, dem 09.07.2023 um 21:17 +0200 schrieb Joachim Breitner:
> Hi,
>
> I only got positive feedback, so I’ll merge this in a few days.
>
> Cheers,
> Joachim
>
> Am Donnerstag, dem 29.06.2023 um 08:20 +0200 schrieb Joachim Breitner:
> > Dear committee,
> >
> > Krzysztof Gogolewski in
> > https://github.com/ghc-proposals/ghc-proposals/pull/596
> > amends the sized literals proposal so that GHC uses the syntax
> > 42#Int8 instead of (intToInt8# 42#) in the stock derived Show instances
> > for data types with sized unboxed numbers.
> >
> > Implementation is also ready.
> >
> > Now that we have a syntax for these literals it’s clear that we want to
> > use them in the show instances.
> >
> >
> > There is no risk of breaking Show-Read-roundtripping, as Read instances
> > cannot be derived (at the moment).
> >
> > This is a change in behavior of Show, so we should think for a moment
> > how this affects stability. But none of the libraries in libraries/, in
> > particularly not base, are affected by this change, according to
> > Krzysztof.
> >
> > So I recommend to accept this.
> >
> > Cheers,
> > Joachim
> >
> >
> >
>
--
Joachim Breitner
mail at joachim-breitner.de
http://www.joachim-breitner.de/
More information about the ghc-steering-committee
mailing list