[ghc-steering-committee] Status

[Joachim Breitner]

Hi committee,

high time for another status mail. Please look through this and see if
anything is pending on you, of otherwise needs your attention.

Since the last status update, we

 * were asked to review these proposals:
   #112 UnliftedArray#  (Shepherd: Simon Marlow)
   #81  ExtraCommas  (Shepherd: Chris)
   #121 Array resizing primitives (Shepherd: Simon Marlow) 
   #129 TypeApplication and literals (Shepherd: Joachim)
   #125 Type annotated quoters (Shepherd: Manuel)
   #111 Linear types (Shepherd: Richard)
   #28  bundling patterns with type synonyms (Shepherd: Chris)
   #134 Deprecating Exports (Shepherd: Joachim)
   #146 Remove TypeOperators => NoStarIsType (Shepherd: Ben)

 * got a recommendation from shepherds about:
   #81  ExtraCommas (recommendation: accept)
   #99  forall {k} (recommendation: accept)
   #129 TypeApplication and literals (recommendation: accept)
   #112 UnliftedArray#  (recommendation: accept)
   #121 Array resizing primitives (recommendation: accept)
   #134 Deprecating Exports (recommendation: accept)
   #43  Or patterns round two (recommendation: accept)
   #28  bundling patterns with type synonyms (recommendation: accept)

 * decided about the following proposals
   - Constraint vs. Type (accept)
   - Embrace Type in Type (accept)
   - PatternSignatures (reject)
   - Mutable constructor fields (needs revision)
   #112 UnliftedArray#  (accept)
   #129 TypeApplication and literals (reject)
   #120 Deriving Via (accept)
   #103 Treat kind and type vars dientical (accept)
   #121 Array resizing primitives (accept)
   #96  Binding existential type variables (reject)


We currently have to act on the following 13 proposals, which is
one less than last round.

Remove TypeOperators => NoStarIsType "migration"
https://github.com/ghc-proposals/ghc-proposals/pull/146
Shepherd: Ben
Status: Waiting for recommendation.

Deprecating Exports
https://github.com/ghc-proposals/ghc-proposals/pull/134
Shepherd: Joachim
Recommendation: accept
Status: Discussion ongoing

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

Provenance-Qualified Package Imports
https://github.com/ghc-proposals/ghc-proposals/pull/115
Shepherd: Ben
Status: Waiting for recommendation.

Linear types
https://github.com/ghc-proposals/ghc-proposals/pull/111
Shepherd: Richard
Status: Waiting for recommendation.

Define Kinds Without Promotion
https://github.com/ghc-proposals/ghc-proposals/pull/106
Shepherd: Ryan
Status: Still waiting for recommendation.

forall {k},
https://github.com/ghc-proposals/ghc-proposals/pull/99
Shepherd: Iavor
Status: Ongoing discussion

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 being discussed

Lazy unboxed tuples
https://github.com/ghc-proposals/ghc-proposals/pull/35
Shepherd: Ryan
Status: This is still lingering since last July!

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/20180623/e2c58434/attachment.sig>