[ghc-steering-committee] Status

Joachim Breitner mail at joachim-breitner.de
Sat Jun 23 17:31:37 UTC 2018


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>


More information about the ghc-steering-committee mailing list