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

[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