[ghc-steering-committee] What should we start with?

[Simon Peyton Jones]

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 at haskell.org] On Behalf Of Joachim Breitner
| Sent: 19 January 2017 04:27
| To: ghc-steering-committee at 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 at 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 at joachim-breitner.de • OpenPGP-Key: 0xF0FBF51F
|   Debian Developer: nomeata at debian.org