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

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 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/pro...

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@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