From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 4F4BD7F71A for ; Sat, 12 Apr 2014 17:25:13 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.128.175; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.128.175 as permitted sender) identity=mailfrom; client-ip=209.85.128.175; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ve0-f175.google.com) identity=helo; client-ip=209.85.128.175; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-ve0-f175.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgUCACxaSVPRVYCvlWdsb2JhbABZg0FXrCmODIh0gREIFg4BAQEBBw0JCRIqgiUBAQEDAUABGxILAQMBCwYFBAEGGiEhAQERAQUBChIGExKHVQEDCQgNnEyMX4MOlykKGScDCmSFfxEBBQyMSYIVBAeEOASWc4FugTaJLoIQg2AYKYRhOw X-IPAS-Result: AgUCACxaSVPRVYCvlWdsb2JhbABZg0FXrCmODIh0gREIFg4BAQEBBw0JCRIqgiUBAQEDAUABGxILAQMBCwYFBAEGGiEhAQERAQUBChIGExKHVQEDCQgNnEyMX4MOlykKGScDCmSFfxEBBQyMSYIVBAeEOASWc4FugTaJLoIQg2AYKYRhOw X-IronPort-AV: E=Sophos;i="4.97,848,1389740400"; d="scan'208";a="67871090" Received: from mail-ve0-f175.google.com ([209.85.128.175]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 12 Apr 2014 17:25:12 +0200 Received: by mail-ve0-f175.google.com with SMTP id oz11so5795038veb.20 for ; Sat, 12 Apr 2014 08:25:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=55UIlyHeiBotv1L8vy2W5fHi08CuaeXKlg0qoaqIXm0=; b=LQ8acNCmTRdhfkdkWebg2uB/TqyShyLmHY1jeG1jIdI5dMWIvCOQUUTaQRjdguKeHO dmXbj/023Ua2/o/SgW3B3etH3yY4s6HAAwycB6KVy6Th0P6e/iv3zjUH7xiNfCxpgg31 +lpwfcTD3nT4TBeW81QW80vaiVzOc0tMdgl+5X9+hjJxMzRfOnjtalQCFrGjKaZWoBTh chdiUidJ0xVCyg+LUnkGRGqgQUj13U5wxlvrvEt+LwQwIKnnS4tIz9hw4SUN/TkB2WIy 9g1qkctdmXi+4IvIR8VWndHCaiyod8WY3ActMbRVUZjhmO9lvmvUMfuu5hmJe/HZCnAJ 1j6g== X-Received: by 10.58.207.74 with SMTP id lu10mr25816877vec.15.1397316311162; Sat, 12 Apr 2014 08:25:11 -0700 (PDT) MIME-Version: 1.0 Received: by 10.58.96.5 with HTTP; Sat, 12 Apr 2014 08:24:31 -0700 (PDT) In-Reply-To: <53492486.7020308@gmail.com> References: <53492486.7020308@gmail.com> From: Gabriel Scherer Date: Sat, 12 Apr 2014 17:24:31 +0200 Message-ID: To: Michael Cc: caml-list caml-list Content-Type: multipart/alternative; boundary=047d7b6783ce5da9a504f6da0e04 Subject: Re: [Caml-list] Change in Pstr_open (4.00.1 vs 4.01.0) --047d7b6783ce5da9a504f6da0e04 Content-Type: text/plain; charset=ISO-8859-1 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 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 > --047d7b6783ce5da9a504f6da0e04 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
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 -- co= ntrarily to plain "open" which may warn if the corresponding warn= ing is activated.


On Sat, Apr 1= 2, 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 Fr= esh
| Override attribute.

What does this attribute mean?  How is it selected?


Best regards,
Michael


--
Caml-list mailing list.  Subscription management and archives:
ht= tps://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

--047d7b6783ce5da9a504f6da0e04--