Hi committee, with the new nominations out of the way, time to stop navel gazing and doing some work! Since the last status update, we * Got two new members. Yay and welcome! * were asked to review these proposals: #149 Replace atomicModifyMutVar# (Shepherd: Simon M) #143 Remove * syntax (Shepherd: Ben) #128 Allow ScopedTypeVariables refer to types (Shepherd: Iavor) #126 Type Applications in Patterns (Shepherd: Iavor) * two reviews were reassigned: #106 Define Kinds Without Promotion (New shepherd: Eric) #35 Lazy unboxed tuples (New shepherd: Vitaly) * got a recommendation from shepherds about: #112 Remove TypeOperators => NoStarIsType "migration" (rec: accept) #149 Replace atomicModifyMutVar# (rec: accept) #111 Linear Types (rec: acceptish) #143 Remove * syntax (rec: accept) #128 Allow ScopedTypeVariables refer to types (rec: accept) #126 Type Applications in Patterns (rec: accept) * decided about the following proposals #99 forall {k} (accept) #112 Remove TypeOperators => NoStarIsType "migration" (accept) #149 Replace atomicModifyMutVar# (accept) #134 Deprecating Exports (accept) #128 Allow ScopedTypeVariables refer to types (accept) #143 Remove * syntax (accept) We currently have to act on the following 11 proposals, which is two less than last round. Lets further get the backlog down! Type applications in patterns https://github.com/ghc-proposals/ghc-proposals/pull/126 Shepherd: Iavor Status: Overall positive response, acceptance likely Type annotated quoters https://github.com/ghc-proposals/ghc-proposals/pull/125 Shepherd: Manuel Status: Still waiting for recommendation. 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(?) Define Kinds Without Promotion https://github.com/ghc-proposals/ghc-proposals/pull/106 Shepherd: Eric Status: Reassigned to Eric, waiting for recommendation. ExtraCommas https://github.com/ghc-proposals/ghc-proposals/pull/87 Shepherd: Chris Recommendation: accept Status: Ongoing discussion, met with some reservation. Visible dependent quantification (TL;DR: forall k -> k -> *) https://github.com/ghc-proposals/ghc-proposals/pull/81 Shepherd: Roman Leshchinskiy Status: Discussion needs to happen 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 Recommendation: accept Status: Round 2 discussion ebbed down Lazy unboxed tuples https://github.com/ghc-proposals/ghc-proposals/pull/35 Shepherd: Vitaly Status: Reassigned to Vitaly, waiting for recommendation. Bundling patterns with synonyms https://github.com/ghc-proposals/ghc-proposals/pull/28 Shepherd: Chris Recommendation: accept Status: Ongoing discussion, met with some resistance. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/
Joachim You are doing a really great job as our secretary. Thank you! Simon | -----Original Message----- | From: ghc-steering-committee <ghc-steering-committee-bounces@haskell.org> On | Behalf Of Joachim Breitner | Sent: 04 August 2018 16:54 | To: ghc-steering-committee@haskell.org | Subject: [ghc-steering-committee] Status | | Hi committee, | | with the new nominations out of the way, time to stop navel gazing and doing | some work! | | Since the last status update, we | | * Got two new members. Yay and welcome! | | * were asked to review these proposals: | #149 Replace atomicModifyMutVar# (Shepherd: Simon M) | #143 Remove * syntax (Shepherd: Ben) | #128 Allow ScopedTypeVariables refer to types (Shepherd: Iavor) | #126 Type Applications in Patterns (Shepherd: Iavor) | | * two reviews were reassigned: | #106 Define Kinds Without Promotion (New shepherd: Eric) | #35 Lazy unboxed tuples (New shepherd: Vitaly) | | * got a recommendation from shepherds about: | #112 Remove TypeOperators => NoStarIsType "migration" (rec: accept) | #149 Replace atomicModifyMutVar# (rec: accept) | #111 Linear Types (rec: acceptish) | #143 Remove * syntax (rec: accept) | #128 Allow ScopedTypeVariables refer to types (rec: accept) | #126 Type Applications in Patterns (rec: accept) | | | * decided about the following proposals | #99 forall {k} (accept) | #112 Remove TypeOperators => NoStarIsType "migration" (accept) | #149 Replace atomicModifyMutVar# (accept) | #134 Deprecating Exports (accept) | #128 Allow ScopedTypeVariables refer to types (accept) | #143 Remove * syntax (accept) | | We currently have to act on the following 11 proposals, which is two less | than last round. Lets further get the backlog down! | | Type applications in patterns | https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com% | 2Fghc-proposals%2Fghc- | proposals%2Fpull%2F126&data=02%7C01%7Csimonpj%40microsoft.com%7C9ba9f627 | e78b493484ea08d5fa2289ca%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636689 | 948604137734&sdata=m%2FvWs%2F8l5DzoMoSwRsDqNHLJrQl0uP%2BxYeZilx6Webo%3D& | amp;reserved=0 | Shepherd: Iavor | Status: Overall positive response, acceptance likely | | Type annotated quoters | https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com% | 2Fghc-proposals%2Fghc- | proposals%2Fpull%2F125&data=02%7C01%7Csimonpj%40microsoft.com%7C9ba9f627 | e78b493484ea08d5fa2289ca%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636689 | 948604147743&sdata=QmFW%2BaJsMeOvDE6w7Si5PneyxwPoiwYlWEC7IHDwduQ%3D& | reserved=0 | Shepherd: Manuel | Status: Still waiting for recommendation. | | Provenance-Qualified Package Imports | https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com% | 2Fghc-proposals%2Fghc- | proposals%2Fpull%2F115&data=02%7C01%7Csimonpj%40microsoft.com%7C9ba9f627 | e78b493484ea08d5fa2289ca%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636689 | 948604147743&sdata=TBFGoXuLalWGsg7bl%2FlMtJHrTzagw24Tnf5SVTyDkss%3D& | reserved=0 | Shepherd: Ben | Status: Still waiting for recommendation. This is pretty old! | | Linear types | https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com% | 2Fghc-proposals%2Fghc- | proposals%2Fpull%2F111&data=02%7C01%7Csimonpj%40microsoft.com%7C9ba9f627 | e78b493484ea08d5fa2289ca%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636689 | 948604147743&sdata=Gc6NTApCmVOTJBSDVZJx9J7Yh2l3Lcz4cwZ0861wGXg%3D&re | served=0 | Shepherd: Richard | Status: acceptance-ish(?) | | Define Kinds Without Promotion | https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com% | 2Fghc-proposals%2Fghc- | proposals%2Fpull%2F106&data=02%7C01%7Csimonpj%40microsoft.com%7C9ba9f627 | e78b493484ea08d5fa2289ca%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636689 | 948604147743&sdata=7Z%2FhS%2Bn%2By9R3TxneVbEj7bbuHoWmM0%2F7bozwmKr6BtU%3 | D&reserved=0 | Shepherd: Eric | Status: Reassigned to Eric, waiting for recommendation. | | ExtraCommas | https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com% | 2Fghc-proposals%2Fghc- | proposals%2Fpull%2F87&data=02%7C01%7Csimonpj%40microsoft.com%7C9ba9f627e | 78b493484ea08d5fa2289ca%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6366899 | 48604147743&sdata=UwCvi1lOWGYKdQl60mT5zWXJSrE1k9WgnqEMS75XADI%3D&res | erved=0 | Shepherd: Chris | Recommendation: accept | Status: Ongoing discussion, met with some reservation. | | Visible dependent quantification (TL;DR: forall k -> k -> *) | https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com% | 2Fghc-proposals%2Fghc- | proposals%2Fpull%2F81&data=02%7C01%7Csimonpj%40microsoft.com%7C9ba9f627e | 78b493484ea08d5fa2289ca%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6366899 | 48604147743&sdata=SdFvaE1O9MR0fYPSbe%2FCgMTKqS4WGytFiAoEpRfK%2FjU%3D& | ;reserved=0 | Shepherd: Roman Leshchinskiy | Status: Discussion needs to happen | | Top-level kinds signatures | https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com% | 2Fghc-proposals%2Fghc- | proposals%2Fpull%2F54&data=02%7C01%7Csimonpj%40microsoft.com%7C9ba9f627e | 78b493484ea08d5fa2289ca%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6366899 | 48604147743&sdata=S%2FiFnn80cGt0GJvpLVJaCzF0TekQ7KiYAB%2B3fmG75NI%3D& | ;reserved=0 | Shepherd: Roman Leshchinskiy | Status: Waiting for recommendation. | | Or-Patterns | https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com% | 2Fghc-proposals%2Fghc- | proposals%2Fpull%2F43&data=02%7C01%7Csimonpj%40microsoft.com%7C9ba9f627e | 78b493484ea08d5fa2289ca%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6366899 | 48604147743&sdata=6SS05YDsYFFvV91Va%2FsgXD9jhsWzYAEDyY8d5AuJU08%3D&r | eserved=0 | Shepherd: Manuel | Recommendation: accept | Status: Round 2 discussion ebbed down | | Lazy unboxed tuples | https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com% | 2Fghc-proposals%2Fghc- | proposals%2Fpull%2F35&data=02%7C01%7Csimonpj%40microsoft.com%7C9ba9f627e | 78b493484ea08d5fa2289ca%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6366899 | 48604147743&sdata=PC0T4sXCUdvMhejZa5HKpmMZ%2B%2BKaZoPEHnh2F7qLPFw%3D& | ;reserved=0 | Shepherd: Vitaly | Status: Reassigned to Vitaly, waiting for recommendation. | | Bundling patterns with synonyms | https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com% | 2Fghc-proposals%2Fghc- | proposals%2Fpull%2F28&data=02%7C01%7Csimonpj%40microsoft.com%7C9ba9f627e | 78b493484ea08d5fa2289ca%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6366899 | 48604147743&sdata=eFWKfjBVRnxx%2FvPOCGJCQRlpBnBb1MyT9LxhEYjIL5w%3D&r | eserved=0 | Shepherd: Chris | Recommendation: accept | Status: Ongoing discussion, met with some resistance. | | | Cheers, | Joachim | | -- | Joachim Breitner | mail@joachim-breitner.de | | https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim- | breitner.de%2F&data=02%7C01%7Csimonpj%40microsoft.com%7C9ba9f627e78b4934 | 84ea08d5fa2289ca%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63668994860414 | 7743&sdata=jpvM%2FWoyzFv3uBDbGhpsA%2BFI%2FehhqLW8vgnnODl9aPI%3D&rese | rved=0
participants (2)
-
Joachim Breitner -
Simon Peyton Jones