[ghc-steering-committee] #409: Exportable named defaults, Recommendation: Partial Accept

Joachim Breitner mail at joachim-breitner.de
Wed May 19 18:46:08 UTC 2021


Hi,

Am Mittwoch, den 19.05.2021, 16:17 +0000 schrieb Richard Eisenberg:
> I'm worried that the "out of scope" label derailed the plugins
> proposal, as I do not believe that further work on that idea (even
> though it's already implemented!) has been pursued.

we could rename it to “no-decision-needed” or something like that?

Cheers,
Joachim

-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/




More information about the ghc-steering-committee mailing list