[ghc-steering-committee] Please review #400: Constrained COMPLETE sets, Shepherd: Vladislav

Joachim Breitner mail at joachim-breitner.de
Tue Sep 14 07:45:10 UTC 2021


Hi Vlad,

this was resubmitted. Can you make a recommendation or send it back?

Cheers,
Joachim

Am Dienstag, dem 15.06.2021 um 10:01 +0300 schrieb Vladislav Zavialov
(int-index):
> I have read the proposal and sent it back for revision, as I found that the change is underspecified (the interaction with GADTs is unclear).
> 
> - Vlad
> 
> > On 11 Jun 2021, at 18:15, Joachim Breitner <mail at joachim-breitner.de> wrote:
> > 
> > Dear Committee,
> > 
> > it looks like Cale will not be able to handle this one, so I’d like to
> > reassign to Vladislav.
> > 
> > Vladislav, maybe comment on the Github thread that you are taking over,
> > so that the author knows something is happening now, and ideally don’t
> > let him wait too long here.
> > 
> > Cheers,
> > Joachim
> > 
> > Am Montag, den 22.02.2021, 12:30 +0100 schrieb Joachim Breitner:
> > > Dear Committee,
> > > 
> > > this is your secretary speaking:
> > > 
> > > Constrained COMPLETE sets
> > > has been proposed by Sebastian Graph
> > > https://github.com/ghc-proposals/ghc-proposals/pull/400
> > > https://github.com/sgraf812/ghc-proposals/blob/constrained-complete-sigs/proposals/0000-constrained-complete-sets.rst
> > > 
> > > 
> > > This proposal tries to solve the same issue as Cale’s #399, and
> > > essentially has slightly different syntax. I therefore suggest that
> > > Cale is the shepherd, and hashes out with Sebastian the details of
> > > syntax so that they can both get behind it, and then makes a
> > > recommendation.
> > > 
> > > 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

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




More information about the ghc-steering-committee mailing list