September 2019 - ghc-steering-committee

Winapi pseudo calling conv (#277) --- recommendation: accept
by Sandy Maguire 02 Oct '19

02 Oct '19

Hi all, Proposal 277 is on the topic of a psuedo calling convention for windows, where on x86 you need to use `stdcall`, but on x86_64 it should be `ccall`. The base and Win32 packages both use extensive amounts of CPP to work around this. This proposal is to add a `winapi` calling convention that does the right thing regardless of the platform architecture. With the caveat that I am not well versed in FFI or Windows, *my recommendation is to accept. *This is a very small proposal that can immediately be used to clean up over 650 CPP invocations throughout the ecosystem. It's clearly a problem that people are running into, and we should focus on easy quality of life improvements. As usual, silence will be considered assent! Best, Sandy -- I'm currently travelling the world, sleeping on people's couches and doing full-time collaboration on Haskell projects. If this seems interesting to you, please consider signing up as a host! https://isovector.github.io/erdos/

2 3

Please review #270: Add Unified Namespace Shepherd: Iavor
by Joachim Breitner 25 Sep '19

25 Sep '19

Dear Committee, this is your secretary speaking: Add Unified Namespace has been proposed by Artyom Kuznetsov https://github.com/ghc-proposals/ghc-proposals/pull/270 https://github.com/hithroc/ghc-proposals/blob/master/proposals/0000-unified… I propose Iavor as the shepherd. (I was tempted to pick Richard, as this has presumably positive interactions with Dependent Haskell, but in a way it is a competitor to Richards’ #214.) Please reach consensus as described in https://github.com/ghc-proposals/ghc-proposals#committee-process In particular, talk to the authors before, if you think this should be rejected, and kick off the discussion on Github, following the steps described under “Now the shepherd proposes to accept or reject the proposal” in the above link. Thanks, Joachim -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

1 0

Please review #277: winapi calling convention Shepherd: Sandy
by Joachim Breitner 20 Sep '19

20 Sep '19

Dear Committee, this is your secretary speaking: winapi pseudo calling convention has been proposed by Tamar Christina https://github.com/ghc-proposals/ghc-proposals/pull/277 I propose Sandy Maguire as the shepherd. (I had a hard time guessing who of the current idle members have expertise about FFI, so this is rather arbitrary.) Please reach consensus as described in https://github.com/ghc-proposals/ghc-proposals#committee-process In particular, talk to the authors before, if you think this should be rejected, and kick off the discussion on Github, following the steps described under “Now the shepherd proposes to accept or reject the proposal” in the above link. Thanks, Joachim -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

1 0

Please review #274: Quick Look Impredicativity Shepherd: Arnaud
by Joachim Breitner 20 Sep '19

20 Sep '19

Dear Committee, this is your secretary speaking: Quick Look Impredicativity has been proposed by Alejandro Serrano https://github.com/ghc-proposals/ghc-proposals/pull/274 I propose Arnaud as the shepherd, as he whined about not having anything to shepherd when I met him on Wednesday ;-) Please reach consensus as described in https://github.com/ghc-proposals/ghc-proposals#committee-process In particular, talk to the authors before, if you think this should be rejected, and kick off the discussion on Github, following the steps described under “Now the shepherd proposes to accept or reject the proposal” in the above link. Thanks, Joachim -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

1 0

Please review #220: QualifiedImports, Shepherd: Simon M
by Joachim Breitner 20 Sep '19

20 Sep '19

Dear Committee, this is your secretary speaking: QualifiedImports has been proposed by Arnaud Spiwack and Guillaume Bouchard https://github.com/ghc-proposals/ghc-proposals/pull/220 https://github.com/tweag/ghc-proposals/blob/qualified-import/proposals/0000… I propose Simon M as the shepherd. Please reach consensus as described in https://github.com/ghc-proposals/ghc-proposals#committee-process In particular, talk to the authors before, if you think this should be rejected, and kick off the discussion on Github, following the steps described under “Now the shepherd proposes to accept or reject the proposal” in the above link. Thanks, Joachim -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

7 11

Please review #259: No kind signatures on associated types Shepherd: Simon PJ
by Joachim Breitner 14 Sep '19

14 Sep '19

Dear Committee, this is your secretary speaking: No kind signatures on associated types has been proposed by Richard https://github.com/ghc-proposals/ghc-proposals/pull/259 I propose Simon PJ as the shepherd, this seems to be a smaller fix of an existing proposal and Simon has already looked at it. Please reach consensus as described in https://github.com/ghc-proposals/ghc-proposals#committee-process In particular, talk to the authors before, if you think this should be rejected, and kick off the discussion on Github, following the steps described under “Now the shepherd proposes to accept or reject the proposal” in the above link. Thanks, Joachim -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

5 7

Status
by Joachim Breitner 14 Sep '19

14 Sep '19

Dear committee, nothing creative to say here this month, while I am sitting at Richard’s breakfast table due to my intra-european jet lag (train lag?). Since the last status, we * had a partial committee meeting at ICFP, with some suggested changes. None of those not there have vetoed (or even commented) them, so I guess we should start implementing those that we haven't yet. * were asked to review these proposals: #160: NoToplevelFieldSelectors (Shepherd: Eric) #259: No kind signatures on associated types (Shepherd: Simon PJ) * have a recommendation form the shepherd about: #259: No kind signatures on associated types (rec: accept) * decided about the following proposals #231: #233: Higher-order roles (needs revision) #231: Record with syntax (needs revision) #160: NoFieldSelectors (accept) #229: Simplified parsing of (~) and (!) (accept) We currently have to act on the following 3 proposals, 3 down since last time. Good job committee! No kind signatures on associated types Shepherd: Simon PJ Status: acceptance recommended, consensus seems to emerge https://github.com/ghc-proposals/ghc-proposals/pull/259 Qualified Imports Shepherd: Simon M. Status: Waiting for Simon to officially make a recommendation. https://github.com/ghc-proposals/ghc-proposals/pull/220 Updated partial type signatures Shepherd: Vitaly Status: Waiting for Vitaly to make a recommendation. https://github.com/ghc-proposals/ghc-proposals/pull/194 Cheers, Joachim -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

1 0

Early feedback wanted on #243: TH overhaul to make it Cross-compile-friendly
by Joachim Breitner 14 Sep '19

14 Sep '19

Dear committee, there is a rather large proposal sitting in #243. Its goal is to address our somewhat embarrassing story around Template Haskell and cross compilation, and as such deserves attention. But it is also a very big, wide reaching change, even removing some existing features until we figured out how to do them properly. In his comment at https://github.com/ghc-proposals/ghc-proposals/pull/243#issuecomment-531394… the author (John Ericson) wondered if he could get preliminary feedback on the proposal: Is this going into a direction that has a chance of acceptance? Who in the committee knows enough about TH and (maybe) also cross compilation to give the proposal in its current form a good read and give a first assessment? Thanks, Joachim -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

1 0

Please review #233: Higher-order roles, Shepherd: Simon PJ
by Joachim Breitner 05 Sep '19

05 Sep '19

Dear Committee, this is your secretary speaking: Higher-order Roles has been proposed by Richard https://github.com/ghc-proposals/ghc-proposals/pull/233 https://github.com/goldfirere/ghc-proposals/blob/higher-roles/proposals/000… I propose Simon PJ as the shepherd, as he already has had a discussion with Richard on this. Please reach consensus as described in https://github.com/ghc-proposals/ghc-proposals#committee-process In particular, talk to the authors before, if you think this should be rejected, and kick off the discussion on Github, following the steps described under “Now the shepherd proposes to accept or reject the proposal” in the above link. Thanks, Joachim -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

4 4

Proposals under review
by Simon Peyton Jones 05 Sep '19

05 Sep '19

Joachim On our home page https://github.com/ghc-proposals/ghc-proposals there is a list of "proposals under committee review": https://github.com/ghc-proposals/ghc-proposals/pulls?q=is%3Aopen+is%3Apr+la… But alas the latter shows zero proposals -- but I know there are proposals under review. What's up? Simon

3 2