[ghc-steering-committee] Status

[Simon Peyton Jones]

Joachim

Could you possibly turn this email into a status report for the GHC-proposals process, here
https://ghc.haskell.org/trac/ghc/wiki/Status/Apr18

We produce this status report every 6 months (here they are, going back 12 year https://ghc.haskell.org/trac/ghc/wiki/Status), and it'd be the perfect place for a status report on GHC proposals.

I've started a section for that purpose; might you fill it in?

I think a lot of people would be interested.

Thanks!

Simon

|  -----Original Message-----
|  From: ghc-steering-committee <ghc-steering-committee-
|  bounces at haskell.org> On Behalf Of Joachim Breitner
|  Sent: 24 April 2018 03:47
|  To: ghc-steering-committee at haskell.org
|  Subject: [ghc-steering-committee] Status
|  
|  Hi committee,
|  
|  the proposal process has become pretty popular, and it seems we are
|  having trouble keeping up. There are a few proposals that needs
|  shepherding … so please check if you are expected to make a
|  recommendation or, if you have, if the discussion needs more guidance
|  or can be closed.
|  
|  Since the last status update, we
|   * were asked to review these proposals:
|     - Provenance-Qualified Package Imports (Shepherd: Ben)
|     - Quantified Constraints (Shepherd: Richard)
|     - Kinds Without Promotion (Shepherd: Ryan)
|     - DH quantifiers (Shepherd: me)
|     - Top-level kind signatures (Shepherd: Roman)
|     - Resurrect PatternSignatures (Shepherd: Chis)
|     - forall {k} (Shepherd: Iavor)
|   * got a recommendation from shepherds about:
|     - :kind!! (accept)
|     - Treat kind and type vars identically with `forall` (accept)
|     - Binding existential type variables (reject)
|     - Quantified Constraints (accept)
|   * decided about the following proposals
|     - :kind!! (needs revision)
|     - Quantified Constraints (accept)
|     - Source plugins (accept)
|     - plugin recompilation avoidance
|       (accepted, but proposal needs to be updated)
|     - DH quantifiers (punted, now dormant)
|  
|  
|  We currently have to act on the following 14 proposals, which is
|  2 more than a the time of the last the last status mail.
|  
|  Deriving Via
|  https://github.com/ghc-proposals/ghc-proposals/pull/120
|  Shepherd: Joachim
|  Status: Acceptance recommended
|  
|  Resurrect PatternSignatures
|  https://github.com/ghc-proposals/ghc-proposals/pull/119
|  Shepherd: Chris
|  Status: Waiting for recommendation.
|  
|  Provenance-Qualified Package Imports
|  https://github.com/ghc-proposals/ghc-proposals/pull/115
|  Shepherd: Ben
|  Status: Waiting for recommendation.
|  
|  Define Kinds Without Promotion
|  https://github.com/ghc-proposals/ghc-proposals/pull/106
|  Shepherd: Ryan
|  Status: Waiting for recommendation.
|  
|  kind and type vars
|  https://github.com/ghc-proposals/ghc-proposals/pull/103
|  Shepherd: SPJ
|  Status: Discussion ongoing
|  
|  forall {x},
|  https://github.com/ghc-proposals/ghc-proposals/pull/99
|  Shepherd: Iavor
|  Status: Waiting for recommendation.
|  
|  Binding existential variables
|  https://github.com/ghc-proposals/ghc-proposals/pull/96
|  Shepherd: Roman
|  Status: Roman recommends to reject. Very active discussion going on,
|  with an alternative proposal in #126.
|  
|  Embrace Type-In-Type
|  https://github.com/ghc-proposals/ghc-proposals/pull/83
|  Shepherd: Iavor
|  Status: We made progress. Iavor, Richard, do we have consensus now?
|  
|  Visible dependent quantification (TL;DR: forall k -> k -> *)
|  https://github.com/ghc-proposals/ghc-proposals/pull/81
|  Shepherd: Roman Leshchinskiy
|  Status: With #102 punted, discussion can and should start again.
|  
|  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
|  Status: Waiting for Manuel to make a recommendation
|  
|  Lazy unboxed tuples
|  https://github.com/ghc-proposals/ghc-proposals/pull/35
|  Shepherd: Ryan
|  Status: This is lingering since last July!
|  
|  Constraint vs. Type
|  https://github.com/ghc-proposals/ghc-proposals/pull/32
|  Shepherd: Simon PJS (proposed acceptance)
|  Status: Simon’s proposal was met with silence. Ergo accept?
|  
|  Mutable constructor fields
|  https://github.com/ghc-proposals/ghc-proposals/pull/8
|  Shepherd: Ryan Newton
|  Status: Inconclusive discussion that fell silent, but not the clear
|  consensus that I’d like. Ryan, what is the status here?
|  
|  
|  Cheers,
|  Joachim
|  
|  --
|  Joachim Breitner
|    mail at joachim-breitner.de
|    http://www.joachim-breitner.de/