Override denotes the "open!" syntactic form (or "let open! M in ..."), that
has the exact same semantics, except it does not warn if the open shadows
an identifier of the environment -- contrarily to plain "open" which may
warn if the corresponding warning is activated.


On Sat, Apr 12, 2014 at 1:33 PM, Michael <michipili@gmail.com> wrote:

> Between 4.00.1 and 4.01.0 the definition of Parsetree.Pstr_open--the
> abstract form of open directives--has changed and it now requires a Fresh
> | Override attribute.
>
> What does this attribute mean?  How is it selected?
>
>
> Best regards,
> Michael
>
>
> --
> 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
>