Re: [ghc-steering-committee] GHC Steering Committee Status

Eric: #194 partial type signatures. Assigned way back, 25 May 23

Apologies, I think I botched the process on this one. I left feedback on the proposal a while back but did not synthesize my feedback to the Committee ML. Will do so now. On Sat, Sep 2, 2023, at 09:44, Simon Peyton Jones wrote:

Thanks Joachim.

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! • *Simon M*: #526 Applicative comprehensions. The author submitted it nearly a year ago! 8th October 2022. • *Richard*: #585/#609 Or patterns • *Richard*: #608 no implicit bindings with -XPatternSignatures • *Moritz*: #597 Constraint synonyms in deriving heads • *Chris*: #434 Unused warnings. Assigned back on 2nd July. • *Eric*: #194 partial type signatures. Assigned way back, 25 May 23 Action needed. Thanks!

Simon

On Sat, 2 Sept 2023 at 09:10, Joachim Breitner wrote:

...

Dear Committee,

time for another status email, in particular because I need an up-to-date update to get stats for Simon’s famous report at HIW on Monday. Hope to see some of you there! Let’s see what has happened since July 3

* Arnaud did round 3 of his language extension policy investigation.

* we were asked to review these proposals:

#597: Constraints synonyms in deriving heads, Shepherd: Moritz #604: do not let -XScopedTypeVariables imply -XTypeAbstractions, Sepherd: Joachim #608: no implicit bindings with -XPatternSignatures, Shepherd: Richard #583: HasField redesign, Shepherd: Arnaud #609: (p1; p2) for or-patterns, Shepherd: Chris #607: Amendments clarify treatment of term variables in types, Shepherd: Vlad #605: visible forall to work without ScopedTypeVariables, Shepherd: Joachim #601: Extension lifecycle, Shepherd: Simon PJ

* we have a recommendation from the shepherd about:

#604: do not let -XScopedTypeVariables imply -XTypeAbstractions, rec: accept #605: visible forall to work without ScopedTypeVariables, rec: accept #607: Amend #281 (visible forall) and #378 (Design of DH) to clarify treatment of term variables in types (rec: accept) #583: HasField redesign, rec: accept #601: Extension lifecycle, rec: accept

* we have sent the following proposals back to revision

#601: Extension lifecycle

* we decided about the following proposals

#596: sized literals in Show, accept #581: Namespaces-specified Imports, accept #604: do not let -XScopedTypeVariables imply -XTypeAbstractions, accept #607: Amend #281 (visible forall) and #378 (Design of DH) to clarify treatment of term variables in types (rec: accept) #605: visible forall to work without ScopedTypeVariables, accept

So we currently have to act on the following 9 proposals, up one since last time:

## Waiting for committee decision

#512: NoFieldSelectors as datatype annotation, Shepherd: Vlad 2022-09-03: Assigned to Baldur 2022-10-02: Reassignd to Vlad 2022-11-30: Vlad recommends rejection This needs to be picked up again, it has been lingering too long!

#536: Type-level literals as a sep language extension, Shepherd: Vlad 2023-02-16 Assigned to Vlad 2023-03-06 Vlad recommends acceptance Some hesitancy in the committee to introduce this extension, the ongoing policy clarification process might guide us, but maybe we can resolve this earlier?

#583: HasField redesign, rec: accept 2023-08-30 Arnaud recommends acceptance

## Waiting for shepherd recommendation

#526: Applicative Comprehensions, Shepherd: Simon M 2022-10-08: Assigned to Simon M Simon, please cast your recommendation!

#585: Amend Or Patterns, Shepherd: Richard 2023-04-11: Assigned to Richard There are votes on syntax going on, ran by Sebastian Graf. Maybe this should be in “needs revision” until they are through. Richard, I’ll leave this to you #609 seems to be related, not sure if we need both.

#194: Updated partial type signatures, Shepherd: Eric 2023-05-25: Came back from needs revision

#434: Fine-grained unused warnings, Shepherd: Chris 2023-07-02: Assigned to Chris

#597: Constraints synonyms in deriving heads, Shepherd: Moritz 2023-07-25: Assigned to Moritz

#608: no implicit bindings with -XPatternSignatures, Shepherd: Richard 2023-08-17: Assigned to Richard

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