Hello,

FYI, Ross Paterson has started an implementation of "#106 Define Kinds Without Promotion".   His branch is here:

https://gitlab.haskell.org/RossPaterson/ghc/-/tree/wip/type-data

I am also planning to help, but have been busy with work and life stuff, so haven't had a chance to contribute yet.

Cheers,
-Iavor



On Wed, Aug 24, 2022 at 1:37 PM Joachim Breitner <mail@joachim-breitner.de> wrote:
Hi,

Am Mittwoch, dem 24.08.2022 um 11:49 +0300 schrieb Vladislav Zavialov
(int-index):
> I am uncertain. Do we have any case studies? What are examples of
> proposals that were submitted without an implementor?

The list at
https://github.com/ghc-proposals/ghc-proposals/pulls?page=2&q=is%3Apr+label%3A%22Accepted%22+-label%3A%22Implemented%22
lists PRs marked as accepted but not implemented. It is an
overapproximation, because we only add the implemented label if someone
tells us to. So it is hard to tell, but looking at the list (especially
the second page with the older proposals), for a few of them I can’t
remember seeing a MR on GHC. But of course that’s just an impression.

Do you see value in deliberating over proposals without an indication
that someone actually plans to try to implement them?

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