Re: [Caml-list] destructive local opens

[Thomas Refis <thomas.refis@gmail.com>]

https://github.com/ocaml/ocaml/pull/218

2015-08-03 14:39 GMT+01:00 Nils Becker <nils.becker@bioquant.uni-heidelberg.de>:
> Hi,
>
> this is a small syntax suggestion which I thought I should share;
> apologies if this is nonsense or has been already decided against.
>
> Currently we have
>
> let open! M in
> ...
>
> to indicate that we do intend to shadow definitions in the current scope
> by those in M. This avoids getting warning 44 on compilation. I find
> that quite useful.
>
> Would it be a good idea to have the same thing
> for local opens with the dot syntax? M.(...) produces warning 44
> currently, but a proposed new syntax
>
> M.!(...)
> or
> M!(...)
>
> or something of the kind would suppress it. Obviously it should not
> interfere with references.
>
> I came across this wish after defining a small Vector module which
> overrides (+) to mean vector addition. Then formulas are conveniently
> written M.(v + w) but that means I get 44. Of course I could define (+|)
> instead but why not make use of namespaces if we can.
>
> --
> 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