<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">Thanks Joachim.</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Dear shepherds, it is bad for us to have a proposal under committee review for months. To unlock that, we need you to be proactive. Please!</div><div class="gmail_default" style="font-family:tahoma,sans-serif"></div><div class="gmail_default" style="font-family:tahoma,sans-serif"><ul><li><b>Simon M</b>: #526 Applicative comprehensions. The author submitted it nearly a year ago! 8th October 2022.</li><li><b>Richard</b>: #585/#609 Or patterns</li><li><b>Richard</b>: #608 no implicit bindings with -XPatternSignatures</li><li><b>Moritz</b>: #597 Constraint synonyms in deriving heads</li><li><b>Chris</b>: #434 Unused warnings. Assigned back on 2nd July.</li><li><b>Eric</b>: #194 partial type signatures. Assigned way back, 25 May 23</li></ul><div>Action needed. Thanks!</div><div><br></div><div>Simon<br></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, 2 Sept 2023 at 09:10, Joachim Breitner <<a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Dear Committee,<br>
<br>
time for another status email, in particular because I need an up-to-date<br>
update to get stats for Simon’s famous report at HIW on Monday. Hope to see<br>
some of you there! Let’s see what has happened since July 3<br>
<br>
* Arnaud did round 3 of his language extension policy investigation. <br>
<br>
* we were asked to review these proposals:<br>
<br>
#597: Constraints synonyms in deriving heads, Shepherd: Moritz<br>
#604: do not let -XScopedTypeVariables imply -XTypeAbstractions, Sepherd: Joachim<br>
#608: no implicit bindings with -XPatternSignatures, Shepherd: Richard<br>
#583: HasField redesign, Shepherd: Arnaud<br>
#609: (p1; p2) for or-patterns, Shepherd: Chris<br>
#607: Amendments clarify treatment of term variables in types, Shepherd: Vlad<br>
#605: visible forall to work without ScopedTypeVariables, Shepherd: Joachim<br>
#601: Extension lifecycle, Shepherd: Simon PJ<br>
<br>
* we have a recommendation from the shepherd about:<br>
<br>
#604: do not let -XScopedTypeVariables imply -XTypeAbstractions, rec: accept<br>
#605: visible forall to work without ScopedTypeVariables, rec: accept<br>
#607: Amend #281 (visible forall) and #378 (Design of DH) to clarify treatment of term variables in types (rec: accept)<br>
#583: HasField redesign, rec: accept<br>
#601: Extension lifecycle, rec: accept<br>
<br>
* we have sent the following proposals back to revision<br>
<br>
#601: Extension lifecycle<br>
<br>
* we decided about the following proposals<br>
<br>
#596: sized literals in Show, accept<br>
#581: Namespaces-specified Imports, accept<br>
#604: do not let -XScopedTypeVariables imply -XTypeAbstractions, accept<br>
#607: Amend #281 (visible forall) and #378 (Design of DH) to clarify treatment of term variables in types (rec: accept)<br>
#605: visible forall to work without ScopedTypeVariables, accept<br>
<br>
So we currently have to act on the following 9 proposals, up one since<br>
last time:<br>
<br>
## Waiting for committee decision<br>
<br>
#512: NoFieldSelectors as datatype annotation, Shepherd: Vlad<br>
2022-09-03: Assigned to Baldur<br>
2022-10-02: Reassignd to Vlad<br>
2022-11-30: Vlad recommends rejection<br>
This needs to be picked up again, it has been lingering too long!<br>
<br>
#536: Type-level literals as a sep language extension, Shepherd: Vlad<br>
2023-02-16 Assigned to Vlad<br>
2023-03-06 Vlad recommends acceptance<br>
Some hesitancy in the committee to introduce this extension,<br>
the ongoing policy clarification process might guide us, <br>
but maybe we can resolve this earlier?<br>
<br>
#583: HasField redesign, rec: accept<br>
2023-08-30 Arnaud recommends acceptance<br>
<br>
## Waiting for shepherd recommendation<br>
<br>
#526: Applicative Comprehensions, Shepherd: Simon M<br>
2022-10-08: Assigned to Simon M<br>
Simon, please cast your recommendation!<br>
<br>
#585: Amend Or Patterns, Shepherd: Richard<br>
2023-04-11: Assigned to Richard<br>
There are votes on syntax going on, ran by Sebastian Graf.<br>
Maybe this should be in “needs revision” until they are through.<br>
Richard, I’ll leave this to you<br>
#609 seems to be related, not sure if we need both.<br>
<br>
#194: Updated partial type signatures, Shepherd: Eric<br>
2023-05-25: Came back from needs revision<br>
<br>
#434: Fine-grained unused warnings, Shepherd: Chris<br>
2023-07-02: Assigned to Chris<br>
<br>
#597: Constraints synonyms in deriving heads, Shepherd: Moritz<br>
2023-07-25: Assigned to Moritz<br>
<br>
#608: no implicit bindings with -XPatternSignatures, Shepherd: Richard<br>
2023-08-17: Assigned to Richard<br>
<br>
<br>
Cheers,<br>
Joachim<br>
<br>
<br>
<br>
<br>
-- <br>
Joachim Breitner<br>
<a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a><br>
<a href="http://www.joachim-breitner.de/" rel="noreferrer" target="_blank">http://www.joachim-breitner.de/</a><br>
<br>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>