[ghc-steering-committee] Status

[Joachim Breitner]

Hi committee,

with the new nominations out of the way, time to stop navel gazing and
doing some work!

Since the last status update, we

 * Got two new members. Yay and welcome!

 * were asked to review these proposals:
   #149 Replace atomicModifyMutVar# (Shepherd: Simon M)
   #143 Remove * syntax (Shepherd: Ben)
   #128 Allow ScopedTypeVariables refer to types (Shepherd: Iavor)
   #126 Type Applications in Patterns (Shepherd: Iavor)

 * two reviews were reassigned:
   #106 Define Kinds Without Promotion (New shepherd: Eric)
   #35  Lazy unboxed tuples (New shepherd: Vitaly)

 * got a recommendation from shepherds about:
   #112 Remove TypeOperators => NoStarIsType "migration" (rec: accept)
   #149 Replace atomicModifyMutVar# (rec: accept)
   #111 Linear Types (rec: acceptish)
   #143 Remove * syntax (rec: accept)
   #128 Allow ScopedTypeVariables refer to types (rec: accept)
   #126 Type Applications in Patterns (rec: accept)


 * decided about the following proposals
   #99  forall {k} (accept)
   #112 Remove TypeOperators => NoStarIsType "migration" (accept)
   #149 Replace atomicModifyMutVar# (accept)
   #134 Deprecating Exports (accept)
   #128 Allow ScopedTypeVariables refer to types (accept)
   #143 Remove * syntax (accept)

We currently have to act on the following 11 proposals, which is
two less than last round. Lets further get the backlog down!

Type applications in patterns
https://github.com/ghc-proposals/ghc-proposals/pull/126
Shepherd: Iavor
Status: Overall positive response, acceptance likely

Type annotated quoters
https://github.com/ghc-proposals/ghc-proposals/pull/125
Shepherd: Manuel
Status: Still waiting for recommendation.

Provenance-Qualified Package Imports
https://github.com/ghc-proposals/ghc-proposals/pull/115
Shepherd: Ben
Status: Still waiting for recommendation. This is pretty old!

Linear types
https://github.com/ghc-proposals/ghc-proposals/pull/111
Shepherd: Richard
Status: acceptance-ish(?)

Define Kinds Without Promotion
https://github.com/ghc-proposals/ghc-proposals/pull/106
Shepherd: Eric
Status: Reassigned to Eric, waiting for recommendation.

ExtraCommas
https://github.com/ghc-proposals/ghc-proposals/pull/87
Shepherd: Chris
Recommendation: accept
Status: Ongoing discussion, met with some reservation.

Visible dependent quantification (TL;DR: forall k -> k -> *)
https://github.com/ghc-proposals/ghc-proposals/pull/81
Shepherd: Roman Leshchinskiy
Status: Discussion needs to happen

Top-level kinds signatures
https://github.com/ghc-proposals/ghc-proposals/pull/54
Shepherd: Roman Leshchinskiy
Status: Waiting for recommendation.

Or-Patterns
https://github.com/ghc-proposals/ghc-proposals/pull/43
Shepherd: Manuel
Recommendation: accept
Status: Round 2 discussion ebbed down

Lazy unboxed tuples
https://github.com/ghc-proposals/ghc-proposals/pull/35
Shepherd: Vitaly
Status: Reassigned to Vitaly, waiting for recommendation.

Bundling patterns with synonyms
https://github.com/ghc-proposals/ghc-proposals/pull/28
Shepherd: Chris
Recommendation: accept
Status: Ongoing discussion, met with some resistance.


Cheers,
Joachim

-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20180804/32378116/attachment.sig>