25 Nov
2019
25 Nov
'19
8:44 a.m.
On Mon, Nov 25, 2019, at 05:38, Richard Eisenberg wrote:
I have posted on the ticket. The proposal text as it now stands does not support the idea of "just in the renamer", and I find the motivation lacking. Do we need all this power just to write `reflection`? Seems like overkill.
Yes, I agree that local types would often be nice. But would that nicety be covered by local modules (either proposal)?
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.