April 2018 - ghc-steering-committee

Source plugins (#107), Recommendation: accept
by Christopher Allen 13 Apr '18

13 Apr '18

Dear Committee, Chris Allen here! GHC source plugins were proposed by Boldizsár Németh. The PR discussing the proposal is here: https://github.com/ghc-proposals/ghc-proposals/pull/107 Rendered at: https://github.com/nboldi/ghc-proposals/blob/patch-4/proposal-source-plugin… This proposal suggests the extension of the existing tlugin support in GHC with plugins that are able to access and modify the representation of the Haskell syntax tree and its environment. This would allow tool developers to base their tools on GHC plugins. A version of the proposal is already implemented at: https://phabricator.haskell.org/D4342 My present main concern would be the issues with recompilation that the current patch introduces but that seems like a problem with an implementation rather than the proposal. That's an issue for the GHC devs themselves to sort out, as I understand it. It's not obvious to me that the unresolved questions could be answered with deliberation rather than implementation and exploration. I am far from an expert on GHC plugins but from what I've been able to read about them I don't see any blockers in this proposal as-written. I reached out to a couple of people that have hacked on or around GHC in the past and it seemed like they were most keen to find out what problems of theirs this proposal would solve. I didn't see any actual objections raised. I recommend we accept this proposal in the current form or with further elaboration at the author's option. However, my recommendation here defers to the experience of others on the committee who know more about the plugins API and the substance of this proposal. -- Chris Allen

4 3

Proposal #79 "Add a :kind!! command to ghci" — propose yes
by Manuel M T Chakravarty 09 Apr '18

09 Apr '18

We need to decide on the Proposal #79 ”Add a :kind!! command to ghci, to expand type families and type synonyms”: (rendered) https://github.com/alpmestan/ghc-proposals/blob/master/proposals/0000-kind-… (discussion) https://github.com/ghc-proposals/ghc-proposals/pull/79 I agree that this is useful functionality and it is a simple change to GHCi. There has been some discussion about the naming of this command, but TBH I didn’t find any of the alternatives more convincing than ”:kind!!”, so I’d suggest to stick with that. I favour accepting this proposal. Are there any dissenting opinions? Cheers, Manuel

4 5

Please Review: Qualified Constraints, Shepherd: Richard Eisenberg
by Joachim Breitner 06 Apr '18

06 Apr '18

Dear Committee, this is your secretary speaking: Qualified Constraints by Gert-Jan Bottu and SPJ https://github.com/ghc-proposals/ghc-proposals/pull/109 I propose Richard Eisenberg as the shepherd. Richard, please reach consensus as described in https://github.com/ghc-proposals/ghc-proposals#committee-process I suggest you make a recommendation, in a new e-mail thread, about the decision, maybe point out debatable points, and assume that anyone who stays quiet agrees with you. Thanks, -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

1 0

Please Review: Provenance-Qualified Package Imports, Shepherd: Ben Gamari
by Joachim Breitner 02 Apr '18

02 Apr '18

Dear Committee, this is your secretary speaking: Provenance-Qualified Package Imports by Gershom Bazerman https://github.com/ghc-proposals/ghc-proposals/pull/115 I propose Ben Gamari as the shepherd. Ben, please reach consensus as described in https://github.com/ghc-proposals/ghc-proposals#committee-process I suggest you make a recommendation, in a new e-mail thread, about the decision, maybe point out debatable points, and assume that anyone who stays quiet agrees with you. Thanks, -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

1 0

Quantified constraints
by Simon Peyton Jones 02 Apr '18

02 Apr '18

Joachim I'd like submit the Quantified Constraints proposal<https://github.com/ghc-proposals/ghc-proposals/pull/109> (#109) to the committee Simon

1 0