March 2019 - ghc-steering-committee

#195: Make Q (TExp a) into a newtype, rec: accept
by Vitaly Bragilevsky 15 Mar '19

15 Mar '19

Hi everyone, Matthew Pickering proposed to make Q (TExp a) into a newtype called Code. Proposal #195: https://github.com/ghc-proposals/ghc-proposals/blob/22e97d7693edb0b3676c948… Pull request discussion: https://github.com/ghc-proposals/ghc-proposals/pull/195 It looks like the motivation behind this proposal boils down to the convenience of writing instances which seems a good thing. The minor problem I see is the proposed name "Code" as it looks a little bit too abstract for Typed Template Haskell expressions. Nevertheless, I recommend to accept the proposal as it is. Silence is understood as agreement. Regards, Vitaly

4 4

Proposal #204: shelve for the moment
by Iavor Diatchki 13 Mar '19

13 Mar '19

Hello, I am the shepherd for #204 "Remove nested bracket restriction in Template Haskell" [1]. After some more discussion with Matt on the git-hub thread, it seems that there are some issues related to lifting values across multiple stages, so it seems better to shelve this for the moment, until those and some related TH proposals are worked out. -Iavor [1] https://github.com/ghc-proposals/ghc-proposals/pull/204

2 1

Please review #195: newtype Q (TExp a), Shepherd: Vitaly
by Joachim Breitner 07 Mar '19

07 Mar '19

Dear Committee, this is your secretary speaking: Make Q (TExp a) into a newtype has been proposed by Matthew Pickering https://github.com/ghc-proposals/ghc-proposals/pull/195 https://github.com/ghc-proposals/ghc-proposals/blob/22e97d7693edb0b3676c948… I propose Vitaly as the shepherd. 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 with the proposal number in the subject, about the decision, maybe point out debatable points, and assume that anyone who stays quiet agrees with you. Thanks, Joachim -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

1 0

Please review #204: nested brackets, Shepherd: Iavor
by Joachim Breitner 07 Mar '19

07 Mar '19

Dear Committee, this is your secretary speaking: Remove nested bracket restriction in Template Haskell has been proposed by Matthew Pickering https://github.com/ghc-proposals/ghc-proposals/pull/204 https://github.com/ghc-proposals/ghc-proposals/blob/a5fca22bd396647c5b5efb9… I propose Iavor as the shepherd. 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 with the proposal number in the subject, about the decision, maybe point out debatable points, and assume that anyone who stays quiet agrees with you. Thanks, Joachim -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

1 0

Please review #207: type variables in quotations, Shepherd: Richard
by Joachim Breitner 07 Mar '19

07 Mar '19

Dear Committee, this is your secretary speaking: type variables in quotations has been proposed by Richard Eisenberg https://github.com/ghc-proposals/ghc-proposals/pull/207 https://github.com/mpickering/ghc-proposals/blob/csp-types/proposals/0000-c… I propose Richard as the Shepherd. 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 with the proposal number in the subject, about the decision, maybe point out debatable points, and assume that anyone who stays quiet agrees with you. Thanks, Joachim -- Joachim Breitner mail(a)joachim-breitner.de http://www.joachim-breitner.de/

1 0