[ghc-steering-committee] Deprecating Exports (#134); Recommendation: accept
Richard Eisenberg
rae at cs.brynmawr.edu
Mon Jul 9 02:10:50 UTC 2018
I generally agree, but Simon M and I have both staked out opposite opinions on the second bullet in https://github.com/ghc-proposals/ghc-proposals/pull/134#issuecomment-399726779 <https://github.com/ghc-proposals/ghc-proposals/pull/134#issuecomment-399726779> Simon, do you have a response to my thoughts there?
I'm happy enough to let my other complaint be lazily resolved during implementation.
Thanks,
Richard
> On Jul 8, 2018, at 9:47 PM, Joachim Breitner <mail at joachim-breitner.de> wrote:
>
> Hi Richard,
>
> have your reservations been addressed and/or resolved?
>
> My impression is that overall, we approve of the feature, and I suggest
> we accept the proposal as it, confident that any remaining corner cases
> will be resolved in the process of implementing it, and in a way that
> will be fine.
>
> Cheers,
> Joachim
>
> Am Samstag, den 23.06.2018, 23:46 -0400 schrieb Richard Eisenberg:
>> I have some reservations, though I like the overall idea. I've posted on GitHub.
>>
>> Richard
>>
>>> On Jun 23, 2018, at 12:13 PM, Joachim Breitner <mail at joachim-breitner.de> wrote:
>>>
>>> Dear Committee,
>>>
>>> Am Donnerstag, den 24.05.2018, 12:23 +0200 schrieb Joachim Breitner:
>>>> alanasp has proposed a Deprecating Exports mechanism:
>>>> https://github.com/alanasp/ghc-proposals/blob/patch-2/proposals/deprecating_exports_proposal.rst
>>>>
>>>> I suggest acceptance!
>>>
>>> thanks Iavor, Simon and Richard for refining the proposal (and sorry
>>> for missing some of the obvious shortcomings). I believe the author
>>> addressed the concerns, and now the proposal is better.
>>>
>>> I even more suggest acceptance. If there is still disagreement, please
>>> speak up.
>>>
>>> Cheers,
>>> Joachim
>>>
>>> --
>>> Joachim Breitner
>>> mail at joachim-breitner.de
>>> http://www.joachim-breitner.de/
>>> _______________________________________________
>>> ghc-steering-committee mailing list
>>> ghc-steering-committee at haskell.org
>>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>>
>> _______________________________________________
>> ghc-steering-committee mailing list
>> ghc-steering-committee at haskell.org
>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
> --
> Joachim Breitner
> mail at joachim-breitner.de
> http://www.joachim-breitner.de/
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20180708/6b0b4cb0/attachment.html>
More information about the ghc-steering-committee
mailing list