[ghc-steering-committee] #596: sized literals in Show, rec: accept

[Joachim Breitner]

Hi,

CLC appreciates the ping but says it’s out of scope:
https://github.com/haskell/core-libraries-committee/issues/183#issuecomment-1615827603

Cheers,
Joachim

Am Donnerstag, dem 29.06.2023 um 08:16 +0100 schrieb Simon Peyton
Jones:
> Looks good to me.
> 
> I have suggested that @monoidal opens a CLC issue.  (This change the
> `base` API.)
> 
> Simon
> 
> On Thu, 29 Jun 2023 at 07:21, Joachim Breitner
> <mail at joachim-breitner.de> wrote:
> > 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
> > 
> > 
> > 
> > _______________________________________________
> > 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/