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