<div dir="ltr">I'm not particularly convinced by the motivation here, and lean towards a weak "no."<br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Nov 26, 2019 at 12:00 AM Richard Eisenberg <<a href="mailto:rae@richarde.dev">rae@richarde.dev</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">I mis-summarized my GitHub comment. I agree that the local modules proposals do not cover `reflection` and brought up a strawman counterproposal just to support `reflection` (and similar usages of classes); the local modules proposals cover the rest of the "would be nice" aspect of local types, in my opinion.<br>
<br>
Richard<br>
<br>
> On Nov 25, 2019, at 1:44 PM, Eric Seidel <<a href="mailto:eric@seidel.io" target="_blank">eric@seidel.io</a>> wrote:<br>
> <br>
> On Mon, Nov 25, 2019, at 05:38, Richard Eisenberg wrote:<br>
>> I have posted on the ticket. The proposal text as it now stands does <br>
>> not support the idea of "just in the renamer", and I find the <br>
>> motivation lacking. Do we need all this power just to write <br>
>> `reflection`? Seems like overkill.<br>
>> <br>
>> Yes, I agree that local types would often be nice. But would that <br>
>> nicety be covered by local modules (either proposal)?<br>
> <br>
> The motivating example here seems like it would require parameterized modules, ie something akin to ML functors. Neither local module proposal currently includes parameterized modules.<br>
> _______________________________________________<br>
> ghc-steering-committee mailing list<br>
> <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
<br>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div><br clear="all"><br>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div>I'm currently travelling the world, sleeping on people's couches and doing full-time collaboration on Haskell projects. If this seems interesting to you, please consider signing up as a host! <a href="https://isovector.github.io/erdos/" target="_blank">https://isovector.github.io/erdos/</a><br></div></div></div></div></div>