Re: [Caml-list] destructive local opens

[Gabriel Scherer <gabriel.scherer@gmail.com>]

Note that forcing you to use "let open! M" instead of M.!(...) is
already a way to make you pay.

On Mon, Aug 17, 2015 at 5:11 PM, Nils Becker
<nils.becker@bioquant.uni-heidelberg.de> wrote:
> On 17/08/15 16:26, Gabriel Scherer wrote:
>> both (let open!)
>> and M.!(...) are dangerous constructions that should be avoided
>> whenever possible, and that we could and should drastically reduce the
>> number of situations where the user is encouraged to use them.
>
> This may have been brought up before, but one way to discourage would be
> to make it very verbose. One would require both (let open!) or M.!() at
> the shadowing site and an extra annotation for each identifier or
> operator in M's signature that is supposed to shadow. The signature
> would then have to carry that information around.
>
> Then M.() would never shadow, M.!() indicates possibility of shadowing
> and by looking at the type of M one can see which of M's values are
> actually shadowing? A tool like merlin could then even annotate this
> graphically.
>
> but this may be too drastic a change...
>
> n.
>
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs