[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