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

Agreed on both points: LGTM; lets keep the CLC in the loop.

On 29 Jun 2023, at 08:16, Simon Peyton Jones wrote:

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 mailto:mail@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

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

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org mailto:ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

---

ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee