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@joachim-breitner.de http://www.joachim-breitner.de/