From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 3A0CC7F89E for ; Thu, 3 Apr 2014 08:18:34 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mshinwell@janestreet.com) identity=pra; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mshinwell@janestreet.com"; x-sender="mshinwell@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of mshinwell@janestreet.com designates 38.105.200.229 as permitted sender) identity=mailfrom; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mshinwell@janestreet.com"; x-sender="mshinwell@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mxout3.mail.janestreet.com) identity=helo; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mshinwell@janestreet.com"; x-sender="postmaster@mxout3.mail.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqEEAKL8PFMmacjl/2dsb2JhbABZhBjDboERHnSCJQEBAQRAAQE3AQ8LCw0uIQESAQUBHAYTh2UDEQMCoQCLGIRVAQWXRA2HNhEGjFeCGgeEOJZwgW2Mb4NgGCmBLoMx X-IPAS-Result: AqEEAKL8PFMmacjl/2dsb2JhbABZhBjDboERHnSCJQEBAQRAAQE3AQ8LCw0uIQESAQUBHAYTh2UDEQMCoQCLGIRVAQWXRA2HNhEGjFeCGgeEOJZwgW2Mb4NgGCmBLoMx X-IronPort-AV: E=Sophos;i="4.97,784,1389740400"; d="scan'208";a="55341579" Received: from mx5.janestreet.com (HELO mxout3.mail.janestreet.com) ([38.105.200.229]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 03 Apr 2014 08:18:33 +0200 Received: from tot-oib-smtp1.delacy.com ([172.27.22.15] helo=tot-smtp) by mx5.mail.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1WVayu-0002AS-3w for caml-list@inria.fr; Thu, 03 Apr 2014 02:18:32 -0400 Received: from tot-dmz-mxgoog1.delacy.com ([172.27.224.14] helo=mxgoog2.janestreet.com) by tot-smtp with esmtps (TLSv1:AES256-SHA:256) (Exim 4.72) (envelope-from ) id 1WVayu-0001EY-23 for caml-list@inria.fr; Thu, 03 Apr 2014 02:18:32 -0400 Received: from mail-pa0-f49.google.com ([209.85.220.49]) by mxgoog2.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1WVayt-0004ca-U7 for caml-list@inria.fr; Thu, 03 Apr 2014 02:18:32 -0400 Received: by mail-pa0-f49.google.com with SMTP id lj1so1338921pab.36 for ; Wed, 02 Apr 2014 23:18:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=OomP/aOVAxO9eHuQyivt5t6y7IQoVLNl7Y/vcdLZrg4=; b=YKzXTtv4BS3Z8IR2j3+hi436wTJcu6GgPRiFxXk9uDdL0rQrxxdG1Mh+8+c/nmeU/m WsQ49Ml8aLKotALt+VrluzTNb5uFKw+3Iymj9B/AehUTnwJ290+FK2veLr+57ZZLDcRd /rESbRzxKmHCw6fPdq6T9nWDgARJoVxoptkro= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=OomP/aOVAxO9eHuQyivt5t6y7IQoVLNl7Y/vcdLZrg4=; b=LY3ncP5WOYj0Adz8k3dTotn+hgy/txQoKsu5XHKuMIWRV2N27Y47KnIpYJyqUJz695 nSin1wJkTZCpCFT5gvtqZRNogaPX+jNEZp/Uiaabt8RrGgVER8iV94bOTdYPUO5vfxMG VzOAmk5DcalW8W2v+WDPjPvoCqQG1jMP2B87/KdrDKGfU7xjedtV4JLUfrgNRsHhj7Hh QD7c3+QS9Ye1ms/cAL0CdJqolUo1hIT/KmD14zMjvyS1GkyHPvMv3XaGxjSBisarA90e k+B89WDLv+J+bZLE5U5T+2NFv7i2pzB/+e/bKdIsSsfWK1546TYQ6BmjwXqOz0Z43Qob c6eg== X-Gm-Message-State: ALoCoQkjwpZuUOEuGUtuhSHICaCAsB56IHK0R5FqniW6NJCDy7CipniDk4KP8dr9a2ZzIAMssMrPCyGgyyWS0RtIDKXEUHuGHGV2YKXVrTJgQhjZhzuPIdZBQkfmwD8c2xbjR8E7yXJL X-Received: by 10.69.31.235 with SMTP id kp11mr5101238pbd.33.1396505911476; Wed, 02 Apr 2014 23:18:31 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.69.31.235 with SMTP id kp11mr5101232pbd.33.1396505911343; Wed, 02 Apr 2014 23:18:31 -0700 (PDT) Received: by 10.70.74.134 with HTTP; Wed, 2 Apr 2014 23:18:31 -0700 (PDT) In-Reply-To: References: Date: Thu, 3 Apr 2014 07:18:31 +0100 Message-ID: From: Mark Shinwell To: Yotam Barnoy Cc: Ocaml Mailing List Content-Type: text/plain; charset=ISO-8859-1 X-Validation-by: mshinwell@janestreet.com Subject: Re: [Caml-list] Ocaml compiler documentation On 3 April 2014 03:48, Yotam Barnoy wrote: > 3. line 684: what is the purpose of the override flag on Pstr_open? It's not > explained by the comment. I believe when this is in "override" mode it corresponds to the new "open!" syntax, which suppresses the "unused open" warning, and the warnings about an "open" shadowing existing identifiers or labels. Mark