Thanks for alerting us.

If it was a few dozen lines I’d wave it through. But this is a 1800-line patch.   I’ve commented on the MR.

As to process, it sounds like a library issue, but it affects GHC’s code base, and quite substantially so.  So I wonder if it might actually be salutary to write a proposal. At the same time I don’t want to appear to discourage, still less sandbag, this as a contribution to GHC.

Simon

From: ghc-steering-committee <ghc-steering-committee-bounces@haskell.org> On Behalf Of Richard Eisenberg
Sent: 18 September 2020 20:44
To: Simon Peyton Jones via ghc-steering-committee <ghc-steering-committee@haskell.org>
Subject: [ghc-steering-committee] The 'Char' kind

Hi GHCSC,

Before this committee existed, Alex Vieth submitted #11342 (https://gitlab.haskell.org/ghc/ghc/-/issues/11342), requesting a kind `Char`. Serokell has now provided a patch, !3598 (https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3598). The chair of the CLC has signed off on this patch (https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3598#note_300231). But I feel we should, too.

What is a good process here? Just debate amongst ourselves? Post a GitHub Issue to call wider attention? Post a proposal? Merge without debate?

Richard