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

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

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