I have decided the simplest way to rescue the proposal is to resubmit it myself as #562

Chris

On 9 Dec 2022, at 19:46, Chris Dornan <chris@chrisdornan.com> wrote:

I am sorry, this is on me. I have also apologised to Oleg in the thread. I was trying to close out #270 so I could give it my full attention but just as it seems headed for resolution more complications emerge.

I have offered to try and make the process work for Oleg but failing that I will try and find a new sponsor as the proposal seemed to be worthy.

Chris






On 9 Dec 2022, at 19:01, Joachim Breitner <mail@joachim-breitner.de> wrote:

Hi,

Am Freitag, dem 18.11.2022 um 09:20 +0100 schrieb Joachim Breitner:
Make Symbol a newtype over String
has been proposed by Oleg Grenus

https://github.com/ghc-proposals/ghc-proposals/pull/546
https://github.com/phadej/ghc-proposals/blob/symbol-type/proposals/0000-symbol-newtype-string.rst

I suggest Chris Dornan shepherds this proposal.


the authors has ran out of patience with our silence, and bureaucratic
comments that parts of it should maybe a CLC proposal, nd has given up
on this proposal:
https://github.com/ghc-proposals/ghc-proposals/pull/546#issuecomment-1344604917

Cheers,
Joachim

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

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