Hi, I hope you all survived the ICFP deadline well, and surely you are now all eager to work off the pretty long list of proposals that are before us. Since the last status update, we * were asked to review these proposals: - kind and type vars in forall (Shepherd: SPJ) - Source Plugins (Shepherd: Chris Allen) - Constraint vs. Type (Shepherd: SPJ) - Type-level type app (Shepherd: Richard) - kind!! (Shepherd: Manuel) - as-patterns (Shepherd: me) - scoped type vars (Shepherd: Roman) - or-patterns (Shepherd: Manuel) * got a recommendation from shepherds about: - Int8/Word8 (accept) - DH quantifiers (accept) - Type-level type app (accept) - Constraint vs. Type (accept) - as-patterns (accept) * decided about the following proposals - unlifted newtypes (accept) - Int8/Word8 (accept) - type level app (accept) - as-patterns (accept) Plenty of work to do, as we currently have to act on the following 12 proposals! Plugin recompilation API https://github.com/ghc-proposals/ghc-proposals/pull/108 Shepherd: Ben, recommends acceptance Status: Ongoing discussion, with me solitarily holding up the process with criticism Source Plugins https://github.com/ghc-proposals/ghc-proposals/pull/107 Shepherd: Chris Allen Status: Waiting for Allen’s recommendation kind and type vars https://github.com/ghc-proposals/ghc-proposals/pull/103 Shepherd: SPJ Status: Waiting for Simon to make a recommendation Dependent Haskell quantifier syntax https://github.com/ghc-proposals/ghc-proposals/pull/102 Shepherd: Joachim, recommends acceptance Status: Reservations from SPJ and Iavor, no consensus emerging so far. Binding existential variables https://github.com/ghc-proposals/ghc-proposals/pull/96 Shepherd: Roman Status: Waiting for Roman to make a recommendation Embrace Type-In-Type https://github.com/ghc-proposals/ghc-proposals/pull/83 Shepherd: Iavor Status: Ongoing discussion, mostly about the fate of * Visible dependent quantification (TL;DR: forall k -> k -> *) https://github.com/ghc-proposals/ghc-proposals/pull/81 Shepherd: Roman Leshchinskiy Status: Unclear. Blocked on #102? :kind!! https://github.com/ghc-proposals/ghc-proposals/pull/79 Shepherd: Manuel Status: Waiting for Manuel to make a recommendation Or-Patterns https://github.com/ghc-proposals/ghc-proposals/pull/43 Shepherd: Manuel Status: Waiting for Manuel to make a recommendation 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: There was more discussion. Does this need to go back to the discussion phase? Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/