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