* [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).