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
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-ki...
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@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