[ghc-steering-committee] Status

[Joachim Breitner]

Hi committee,

post ICFP status update. 

Since the last status update, we

 * were asked to review these proposals:
   #163 StableName guarantee (Shepherd: Simon M.)
   #164 Show Types as Symbols (Shepherd: Richard)
   #168 fail with OverloadedStrings (Shepherd: Joachim)
   #170 Uppercase OverloadedLabels (Shepherd: Vitaly)

 * got a recommendation from shepherds about:
   #81  Syntax for visible dependent quantification (rec: accept)
   #54  Top-level kind signatures (rec: accept)
   #106 Define Kinds Without Promotion (rec: accept)
   #35  Lazy unboxed tuples (rec: reject, I mean, accept)
   #163 StableName guarantee (rec: accept)
   #168: fail with OverloadedStrings (rec: accept)

 * decided about the following proposals
   #126 Type applications in patterns (accept)
   #35  Lazy unboxed tuples (accept)
   #106 Define Kinds Without Promotion (accept)
   #163 StableName guarantee (accept)
   #81  Syntax for visible dependent quantification (accept)
   #54  Top-level kind signatures (accept)

With Roman’s proposals successfully concluded, I’d like to officially
thank him for his contributions to the committee, and relieve him from
his obligations as a committee member.

We currently have to act on the following 9 proposals, which is 2 less
than last round. Let’s make that a trend!

Uppercase OverloadedLables
https://github.com/ghc-proposals/ghc-proposals/pull/170
Shepherd: Vitaly
Status: Waiting for recommendation.

fail with OverloadedStrings
https://github.com/ghc-proposals/ghc-proposals/pull/168
Shepherd: Joachim
Status: Acceptance recommended

Show Types as Symbols
https://github.com/ghc-proposals/ghc-proposals/pull/164
Shepherd: Richard
Status: Richard is discussing things with the authors

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

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(?) … this is a hard one

ExtraCommas
https://github.com/ghc-proposals/ghc-proposals/pull/87
Shepherd: Chris
Recommendation: accept
Status: Met with some reservation. Chris, what is the status of discussion?

Or-Patterns
https://github.com/ghc-proposals/ghc-proposals/pull/43
Shepherd: Manuel
Recommendation: accept
Status: Round 2 discussion ebbed down. Manuel?

Bundling patterns with synonyms
https://github.com/ghc-proposals/ghc-proposals/pull/28
Shepherd: Chris
Recommendation: accept
Status: Ongoing discussion, met with some resistance. Chris, what’s the status?


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/20180930/7b3b189c/attachment-0001.sig>