- ghc-steering-committee

GHC Steering Comittee Status
by Joachim Breitner 05 Apr '21

05 Apr '21

Dear Committee, an easterly status update. The last 1½ was relatively active, and we have a solit throughput. Keep it up! So here’s the delta since last month. * Vladislav joined! Also Iavor, Richard and me re-joined. * we were asked to review these proposals: #405: Split RecordDotSyntax, Shepherd: Simon PJ #403: lexical structure of numbers and identifiers, Shepherd: Arnaud #400: Constrained COMPLETE sets, Shepherd: Cale #402: Stable GADT constructor syntax, Shepherd: Richard #378: Support ergonomic dependent types, Shepherd: Simon PJ #283: Local modules, Shepherd: Arnaud #396: Defaulting plugins, Shepherd: Vladislav #371: Stop treating ~ magically, Shepherd: Richard #409: Exportable named defaults, Shepherd: Eric * we have a recommendation from the shepherd about: #390: Fine-grained pragmas, recommendation: accept #405: Split RecordDotSyntax, rec: accept #403: Cleanup lexical structure, recommendation: accept #367: Clarify primops using unboxed sums, rec: reject #402: Changes to GADT syntax; rec: accept #378: support the design for dependent types, rec: accept #371: Stop treating ~ magically. rec: weak accept * we have sent the following proposals back to revision #381: Visible 'forall' in types of terms #302: \of #390: Fine-grained pragmas * we decided about the following proposals #369: Add sumToTag# (accept) #403: Cleanup lexical structure (accept) #367: Clarify primops using unboxed sums (reject) #405: Split RecordDotSyntax (accept) #403: Cleanup lexical structure (accept) We currently have to act on the following 6 proposals, up by 1. ## Waiting for committee decision #402: Stable GADT constructor syntax, Shepherd: Richard Recommendation is to accept. There is some ongoing discussion if extra parents should be continued to be allowed. #371: Stop treating ~ magically, Shepherd: Richard Recommendation is to accept. Some ongoing discussion about whether exporting ~ might be pragmatic choice. #378: Support ergonomic dependent types, Shepherd: Simon PJ Recommendation is to accept, but there are some doubts that this is a proper proposal that should be addressed first. I expect some more soul-searching here. ## Waiting for Shepherd action #283: Local modules, Shepherd: Arnaud Waiting for recommendation. #400: Constrained COMPLETE sets, Shepherd: Cale Waiting for recommendation. #409: Exportable named defaults, Shepherd: Eric Waiting for recommendation. Cheers, Joachim -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

1 0

Please review #371: Exporting ~ from Data.Type.Equality, Shepherd: Richard
by Joachim Breitner 27 Mar '21

27 Mar '21

Dear Committe, Exporting ~ from Data.Type.Equality has been proposed by Vladislav Zavialov https://github.com/ghc-proposals/ghc-proposals/pull/371 https://github.com/int-index/ghc-proposals/blob/non-magical-eq/proposals/00… This looks rather small, and Richard has already vetted and refined this, in particular about the migration story, so I think he could just as well shepherd this through. Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process Thanks, Joachim -- -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

1 0

Please review #396: Defaulting plugins, Shepherd: Vladislav
by Joachim Breitner 19 Mar '21

19 Mar '21

Dear Committe, Defaulting Plugins has been proposed by Andrei Barbu https://github.com/ghc-proposals/ghc-proposals/pull/396 https://github.com/abarbu/ghc-proposals/blob/master/proposals/0000-defaulti… I propose Vladislav, as our newest member, to shepherd this. Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process Thanks, Joachim -- -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

1 0

Please review #367: Clarify primops using unboxed sums, Shepherd: Simon Marlow
by Joachim Breitner 19 Mar '21

19 Mar '21

Dear Committee, this is your secretary speaking: Clarify primops using unboxed sum has been proposed by David Feuer https://github.com/ghc-proposals/ghc-proposals/pull/367 https://github.com/treeowl/ghc-proposals/blob/unboxed-sum-primops/proposals… I’ll propose Simon Marlow as the shepherd. Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process Thanks, Joachim -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

7 9

Please review #283: Local modules, Shepherd: Arnaud
by Joachim Breitner 18 Mar '21

18 Mar '21

[Corrected message] Dear Committe, Local modules has been proposed by Richard Eisenberg https://github.com/ghc-proposals/ghc-proposals/pull/283 https://github.com/goldfirere/ghc-proposals/blob/local-modules/proposals/00… This is actually a re-submission, so the Shepherd was and still is Arnaud. (Sorry, Vladislav, but you’ll get something to do soon I am sure :-)) Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process Thanks, Joachim -- -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

1 0

Please review #283: Local modules, Shepherd: Vladislav
by Joachim Breitner 18 Mar '21

18 Mar '21

Dear Committe, Local modules has been proposed by Richard Eisenberg https://github.com/ghc-proposals/ghc-proposals/pull/283 https://github.com/goldfirere/ghc-proposals/blob/local-modules/proposals/00… I propose Vladislav, as our newest member, to be the shepherd for this gem. Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process Thanks, Joachim -- -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

1 0

Status #281
by Iavor Diatchki 17 Mar '21

17 Mar '21

Hello, Just FYI, as I have updated the status of #281 to "revision needed" as we discussed. -Iavor

1 0

#403: Cleanup lexical structure, recommendation: accept
by Spiwack, Arnaud 17 Mar '21

17 Mar '21

Dear all, As the shepherd for proposal #403 Cleanup lexical structure of numbers and identifiers <https://github.com/ghc-proposals/ghc-proposals/pull/403>, let me recommend acceptance. This proposal does two things related to unicode characters - Codify the actual current lexing of unicode symbols, which is actually different from the Haskell 2010 report (in particular, only ascii digits are allowed in number literals) - Adds the possibility to use unicode letters which are neither upper case nor lower case (such as many asian scripts) as trailing symbols for identifier (as well as in String and Char literals) It doesn't make it possible (nor close the door) to use letter-like numbers (such as latin numerals) as identifiers, nor use non-ascii digits in number literals. As the title entails, it's essentially a clean up of the documentation, to match reality. It seems quite uncontroversial.

7 8

Please review #378: Support ergonomic dependent types, Shepherd: Simon PJ
by Joachim Breitner 12 Mar '21

12 Mar '21

Dear Committe, Support ergonomic dependent types has been proposed by Richard Eisenberg https://github.com/ghc-proposals/ghc-proposals/pull/378 https://github.com/goldfirere/ghc-proposals/blob/dependent-types/proposals/… This is a meta-proposal, aimed at refining our criteria when evaluating proposals, and wants us to confirm that we take compatibility with a future world where Haskell gains more dependently typed features into account, and welcome changes that we would likely reject if we did not expect to move towards that future. (My rephrasing, please have a look at least at “Motivation” and “Proposed Change Specification”). We might need more of a Moderator than a Shepherd here… I propose that Simon PJ leads us to a decision here. I know that Simon has a strong opinion on this already and might not be a “neutral moderator”. But opinions are not a bad thing per se, and I think this questions requires Chair-level involvement. Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process Thanks, Joachim -- -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

4 4

New (and old) members of the Committee
by Alejandro Serrano Mena 11 Mar '21

11 Mar '21

Dear Committee, It’s my pleasure that announce that the three members with an expired term (Joachim, Iavor, and Richard) have renewed their membership. In addition, we have a new member in the Committee: Vladislav Zavialov. We found all four applications to be really strong! Could anybody help me adding Vladislav to the mailing list and giving him the proper permissions? That way I could give him a proper welcome to the Committee :) Alejandro

5 6