Dear Committee, I had some busy months, so this status update is a bit later than expected… but you were all reasonably busy without me, so that’s fine. Over the summer I’ll be away from a laptop for a few weeks, so more than usually please keep tabs on your open tasks, and listen to Tom's nudges. So here’s the delta since May 17th. * Simon suggests a better way to keep tabs on what’s going on. Please join the that discussion! * Iavor left the committee. 👋 * we were asked to review these proposals: #351: NoIncomplete, Shepherd: Vitaly #281: Visible 'forall' in terms, Shepherd: Richard #390: Fine-grained pragmas, Shepherd: Vitaly (back from revision) * we have a recommendation from the shepherd about: #409: Exportable named defaults (partial accept) #283: Local modules (again) (accept) #351: NoIncomplete (accept) #281: Visible "forall" in terms (accept) #412: Explicit Splice Imports (accept) * we have sent the following proposals back to revision #400: Constrained COMPLETE sets (but it’s back already) * we decided about the following proposals #378: support the design for dependent types (accept) We currently have to act on the following 9 proposals, up by 1. ## Waiting for committee decision #281: Visible 'forall' in types of terms, Shepherd: Richard Richard recommends to accep this. It kicked off a discussion about points that one could argue have been covered by #378 already. Conversation has stalled since a month. Simon M, Richard, can you make progress on your conversation? #283: Local modules, Shepherd: Arnaud Arnaud recommends to accepts, and wants more opinions. Please give it! #302: Lambda expressions with guards and multiple clauses, Shepherd: SPJ Committee is preparing a vote #351: NoIncomplete, Shepherd: Vitaly Looks like it’s going to be rejected, since people are partial to -Wpartial instead. Waiting for the author to concur. #392: Clarify modifiers design principle (Shepherd: Alejandro) One comment only so far, please add more. #409: Exportable named defaults, Shepherd: Eric Deliberations about import behavior is going on. #412: splice imports, Shepherd: Vladislav Positive feedback so far. Shall we accept it, Vladislav? ## Waiting for Shepherd action #390: Fine-grained pragmas, Shepherd: Vitaly Vitaly, this is back from revision. What do you think about it? #400: Constrained COMPLETE sets, Shepherd: Vladislav Waiting for recommendation. Vladislav, the author says they addressed your concerns, and it’s now again in your court. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/