[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