[ghc-steering-committee] Please review #517: Require implementors before proposal submission, Shepherd: Simon PJ

[Iavor Diatchki]

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 at 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 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20220824/d626ef01/attachment-0001.html>