Cheers everyone, Since the last status update, we * were asked to review these proposals: - Int8#/Word8# - unlifted newtypes - plugin recompilation API * got a recommendation from shepherds about: - incomplete-uni-patterns (accept) - embrace Type in Type (recommendation is somewhat unclear) - Deprecate STM invariant (accept) - Unlifted newtypes (accept) - mutable constructor fields (accept) - plugin recompilation API (accept) * decided about the following proposals - Or patterns (sent back for refinement) - Deprecate STM invariant (accept) - incomplete-uni-patterns (accept) Good job, team! On our table at the moment are 7 proposals: Mutable constructor fields https://github.com/ghc-proposals/ghc-proposals/pull/8 Shepherd: Ryan Newton Status: Ryan recommends acceptance Lazy unboxed tuples https://github.com/ghc-proposals/ghc-proposals/pull/35 Shepherd: Ryan Newton Status: Waiting for Ryan to make a recommendation. Visible dependent quantification (TL;DR: forall k -> k -> *) https://github.com/ghc-proposals/ghc-proposals/pull/81 Shepherd: Roman Leshchinskiy Status: Discussion ebbed down. Do we have consensus? Embrace (Type :: Type) https://github.com/ghc-proposals/ghc-proposals/pull/83 Shepherd: Iavor Diatchki Status: Iavor started a discussion Small primitive types https://github.com/ghc-proposals/ghc-proposals/pull/74 Shepherd: Simon Marlow Status: Waiting for Simon to make a recommenataion Unlifted Newtypes https://github.com/ghc-proposals/ghc-proposals/pull/98 Shepherd: Richard Eisenberg Status: Richard recommends acceptance Plugin recompilation avoidance https://github.com/ghc-proposals/ghc-proposals/pull/108 Shepherd: Ben Gamari Status: Ben suggests acceptance, but I am nitpicking Besides these, there are some proposals actively under discussion. You can always check them out at https://github.com/ghc-proposals/ghc-proposals/pulls?q=is%3Aopen+is%3Apr+no%... Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/