[ghc-steering-committee] Please review #387: The Char kind, Shepherd: Alejandro

[Spiwack, Arnaud]

I have no real opinion either way. The meat of the proposal is in the
choice of type families. Are they reasonable? Probably. So I'm probably in
favour, though I could easily be swayed either way.

On Thu, Jan 7, 2021 at 5:38 PM Alejandro Serrano Mena <trupill at gmail.com>
wrote:

> Dear Committee,
> This proposal adds a kind-level ‘Char’ in a similar way as other built-in
> types, and an API to work with them and with Symbols.
> My recommendation is to accept the proposal: it fills a gap in our current
> kind-level machinery in the most minimal way.
>
> Regards,
> Alejandro
>
> On 7 Jan 2021 at 12:33:33, Joachim Breitner <mail at joachim-breitner.de>
> wrote:
>
>> Dear Committee,
>>
>> this is your secretary speaking:
>>
>> The Char Kind
>> has been proposed by Daniel Rogozin
>> https://github.com/ghc-proposals/ghc-proposals/pull/387
>>
>> https://github.com/serokell/ghc-proposals/blob/master/proposals/0000-char-kind.rst
>>
>> I’ll propose Alejandro as the shepherd.
>>
>> Please guide us to a conclusion as outlined in
>> https://github.com/ghc-proposals/ghc-proposals#committee-process
>>
>> Thanks,
>> Joachim
>> --
>> Joachim Breitner
>>  mail at joachim-breitner.de
>>  http://www.joachim-breitner.de/
>>
>>
>> _______________________________________________
>> ghc-steering-committee mailing list
>> ghc-steering-committee at haskell.org
>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>>
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20210107/08fc1360/attachment.html>