Thank you for the reminder, Simon, I have made a recommendation. On Mon, Mar 6, 2023 at 12:56 PM Simon Peyton Jones < simon.peytonjones@gmail.com> wrote:

Hi Vlad

Are you ruminating on this one? We need a recommendation :-).

Simon

On Thu, 16 Feb 2023 at 09:14, Joachim Breitner wrote:

...

Dear Committee,

Ross Paterson proposes Type-level literals as a separate language extension https://github.com/ghc-proposals/ghc-proposals/pull/536

https://github.com/RossPaterson/ghc-proposals/blob/literals/proposals/0000-t...

I suggest Vlad to shepherd this, as he has already engaged with it on Github.

Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process

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

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