[ghc-steering-committee] Status

[Joachim Breitner]

Hi,

if you scroll down my mail you’ll see that #54 is waiting for a
recommendation by Roman, and #81 was stalled due to #102, and we can
now pick that one up again.

Cheers,
Joachim

Am Dienstag, den 24.04.2018, 20:58 +0000 schrieb Simon Peyton Jones:
> What about
> 
>  * #54 https://github.com/ghc-proposals/ghc-proposals/pull/54
>    Top-level kind signatures (instead of CUSKs)
> 
>  * #81 https://github.com/ghc-proposals/ghc-proposals/pull/81
>    Syntax for visible dependent quantification
> 
> I have twice proposed acceptance, but no one has replied.
> 
> I think Roman is shepherd for #54, but #81 seems to be lost. Who is shepherding that?
> 
> I'd love to get these two done.
> 
> 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/
-- 
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/20180424/4d859f56/attachment.sig>