[ghc-steering-committee] GHC Steering Committee Status

[Joachim Breitner]

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 at joachim-breitner.de
  http://www.joachim-breitner.de/