[ghc-steering-committee] Status

[Simon Peyton Jones]

Joachim

You are doing a really great job as our secretary.  Thank you!

Simon

|  -----Original Message-----
|  From: ghc-steering-committee <ghc-steering-committee-bounces at haskell.org> On
|  Behalf Of Joachim Breitner
|  Sent: 04 August 2018 16:54
|  To: ghc-steering-committee at 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&amp
|  ;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&amp
|  ;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&amp
|  ;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 at 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