Re: [Caml-list] destructive local opens

[Hendrik Boom <hendrik@topoi.pooq.com>]

On Tue, Aug 18, 2015 at 04:26:00PM -0600, Anthony Tavener wrote:
> (TL;DR: I commonly want to specify paths -uniquely- for identifiers in local
> scopes (function, module) which have no means to do this.)
> 
> As I run into this yet again, moments ago...
> 
> I do often want the ability to be clear that something is not to be shadowed
> by the opened scope... to specify it's from the local (usually function)
> scope.
> Part of the reason is for code clarity, but also to safeguard against
> possible
> later changes in the *opened* module (introducing the same identifier).
> 
>   let init flags =
>     M.(init (flag1 + flag2 + flags)) (* flags is intended to be 'local',
> but it could be shadowed by a value in M *)

The way to make this explicit is to write

  let init flags =
    (M.init (M.flag1 + M.flag2 + flags) (* flags is 'local', and is not shadowed by a value in M *)

THe code is one characte longer, and even the comment becomes smaller!

-- hendrik