* [Caml-list] Change in Pstr_open (4.00.1 vs 4.01.0) @ 2014-04-12 11:33 Michael 2014-04-12 15:24 ` Gabriel Scherer 0 siblings, 1 reply; 2+ messages in thread From: Michael @ 2014-04-12 11:33 UTC (permalink / raw) To: caml-list 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 ^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [Caml-list] Change in Pstr_open (4.00.1 vs 4.01.0) 2014-04-12 11:33 [Caml-list] Change in Pstr_open (4.00.1 vs 4.01.0) Michael @ 2014-04-12 15:24 ` Gabriel Scherer 0 siblings, 0 replies; 2+ messages in thread From: Gabriel Scherer @ 2014-04-12 15:24 UTC (permalink / raw) To: Michael; +Cc: caml-list caml-list [-- Attachment #1: Type: text/plain, Size: 837 bytes --] 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 > [-- Attachment #2: Type: text/html, Size: 1518 bytes --] ^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2014-04-12 15:25 UTC | newest] Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2014-04-12 11:33 [Caml-list] Change in Pstr_open (4.00.1 vs 4.01.0) Michael 2014-04-12 15:24 ` Gabriel Scherer
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).