I'd like to suggest that we ADOPT - Update levity polymorphism - Constraint vs type for 8.2. They are very well advanced (the former is in HEAD); they tidy up a swamp of bugs; and they are a clear step forward from where we are today. Simon | -----Original Message----- | From: ghc-steering-committee [mailto:ghc-steering-committee- | bounces@haskell.org] On Behalf Of Joachim Breitner | Sent: 19 January 2017 04:27 | To: ghc-steering-committee@haskell.org | Subject: [ghc-steering-committee] What should we start with? | | Hi, | | good to have a mailing list, thanks to whoever set it up. | | I would like to see us warming up by handling a first proposal before all | of us forget that we are on this committee. Which should we get started | on? | | There are two that have the “Pending review” label: Levity Polymorphism | and OverloadedRecordFields | https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.c | om%2Fghc-proposals%2Fghc- | proposals%2Flabels%2FPending%2520committee%2520review&data=02%7C01%7Csimo | npj%40microsoft.com%7Cc611cb8538154741391708d4402376e7%7C72f988bf86f141af | 91ab2d7cd011db47%7C1%7C0%7C636203968474183335&sdata=0c0zB1j4wztdCRzYUwbKR | HjygAkZ4kZD2Xx1q9Hz5vQ%3D&reserved=0 | According to our process documents, this label setting should have | already triggered our part of the process! | | We could also look for proposals that have not been updated in a while | (you can sort by that in the issue list) for example | * Optional tuple parenthesization | <https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub. | com%2Fghc-proposals%2Fghc- | proposals%2Fpull%2F19&data=02%7C01%7Csimonpj%40microsoft.com%7Cc611cb8538 | 154741391708d4402376e7%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63620 | 3968474183335&sdata=LKvWS5wWZirzoT4WrR1M8KR0WyXUSTlIhBAkm5eb2h4%3D&reserv | ed=0> | * Stack pointer stuff | <https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub. | com%2Fghc-proposals%2Fghc- | proposals%2Fpull%2F17&data=02%7C01%7Csimonpj%40microsoft.com%7Cc611cb8538 | 154741391708d4402376e7%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63620 | 3968474183335&sdata=y897Px1tIgvuypmksVz%2FmSjHS3JEmfWFMQut1I%2BZ6mM%3D&re | served=0> | and others. | I pinged a few random old proposals and asked them to maybe move forward | (or abandon). | | Greetings, | Joachim | | -- | Joachim “nomeata” Breitner |   mail@joachim-breitner.de • | https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.joac | him- | breitner.de%2F&data=02%7C01%7Csimonpj%40microsoft.com%7Cc611cb85381547413 | 91708d4402376e7%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636203968474 | 183335&sdata=4fjS%2FYqv7JpLQYafkod66veFw5nKDw8kG%2BRNK09NIB0%3D&reserved= | 0 |   XMPP: nomeata@joachim-breitner.de • OpenPGP-Key: 0xF0FBF51F |   Debian Developer: nomeata@debian.org

I propose that we adopt the overloaded record field proposal too. I've just re-read it -- it's nice. Simon | -----Original Message----- | From: ghc-steering-committee [mailto:ghc-steering-committee- | bounces@haskell.org] On Behalf Of Joachim Breitner | Sent: 19 January 2017 04:27 | To: ghc-steering-committee@haskell.org | Subject: [ghc-steering-committee] What should we start with? | | Hi, | | good to have a mailing list, thanks to whoever set it up. | | I would like to see us warming up by handling a first proposal before all | of us forget that we are on this committee. Which should we get started | on? | | There are two that have the “Pending review” label: Levity Polymorphism | and OverloadedRecordFields | https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.c | om%2Fghc-proposals%2Fghc- | proposals%2Flabels%2FPending%2520committee%2520review&data=02%7C01%7Csimo | npj%40microsoft.com%7Cc611cb8538154741391708d4402376e7%7C72f988bf86f141af | 91ab2d7cd011db47%7C1%7C0%7C636203968474183335&sdata=0c0zB1j4wztdCRzYUwbKR | HjygAkZ4kZD2Xx1q9Hz5vQ%3D&reserved=0 | According to our process documents, this label setting should have | already triggered our part of the process! | | We could also look for proposals that have not been updated in a while | (you can sort by that in the issue list) for example | * Optional tuple parenthesization | <https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub. | com%2Fghc-proposals%2Fghc- | proposals%2Fpull%2F19&data=02%7C01%7Csimonpj%40microsoft.com%7Cc611cb8538 | 154741391708d4402376e7%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63620 | 3968474183335&sdata=LKvWS5wWZirzoT4WrR1M8KR0WyXUSTlIhBAkm5eb2h4%3D&reserv | ed=0> | * Stack pointer stuff | <https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub. | com%2Fghc-proposals%2Fghc- | proposals%2Fpull%2F17&data=02%7C01%7Csimonpj%40microsoft.com%7Cc611cb8538 | 154741391708d4402376e7%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63620 | 3968474183335&sdata=y897Px1tIgvuypmksVz%2FmSjHS3JEmfWFMQut1I%2BZ6mM%3D&re | served=0> | and others. | I pinged a few random old proposals and asked them to maybe move forward | (or abandon). | | Greetings, | Joachim | | -- | Joachim “nomeata” Breitner |   mail@joachim-breitner.de • | https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.joac | him- | breitner.de%2F&data=02%7C01%7Csimonpj%40microsoft.com%7Cc611cb85381547413 | 91708d4402376e7%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636203968474 | 183335&sdata=4fjS%2FYqv7JpLQYafkod66veFw5nKDw8kG%2BRNK09NIB0%3D&reserved= | 0 |   XMPP: nomeata@joachim-breitner.de • OpenPGP-Key: 0xF0FBF51F |   Debian Developer: nomeata@debian.org