From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 869D55D6 for ; Fri, 9 Aug 2019 14:45:16 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,364,1559512800"; d="scan'208";a="394970211" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 Aug 2019 16:45:15 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 9B3837EF0C; Fri, 9 Aug 2019 16:45:15 +0200 (CEST) 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 ABD777ED21 for ; Fri, 9 Aug 2019 16:45:03 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=rich@annexia.org; spf=Pass smtp.mailfrom=rich@annexia.org; spf=Pass smtp.helo=postmaster@annexia.org IronPort-PHdr: =?us-ascii?q?9a23=3ADB1UMBKh20af/ywludmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRL/jxwZ3uMQTl6Ol3ixeRBMOHsqgC0rOJ+P+xEUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCejbb9oMRm6sAfcusYUjIZmN6081gbHrnxUdu?= =?us-ascii?q?pM2GhmP0iTnxHy5sex+J5s7SFdsO8/+sBDTKv3Yb02QaRXAzo6PW814tbrtQTY?= =?us-ascii?q?QguU+nQcSGQWnQFWDAXD8Rr3Q43+sir+tup6xSmaIcj7Rq06VDi+86tmTgLjhT?= =?us-ascii?q?wZPDAl7m7Yls1wjLpaoB2/oRx/35XUa5yROPZnY6/RYc8WSW9HU81MVSJOH5m8?= =?us-ascii?q?YpMBAeQBI+hWsorzp1UBohSiGAajBu3gxyRUhnPqx6A2z/gtHBvY0AEmAtkAsG?= =?us-ascii?q?7UrNLwNKoKX+y70KjIwinDb/xMwzfy9ZXDfRA7rf+LR757bM7fyU4pFwzblVWc?= =?us-ascii?q?p5HuMjSP1uQMr2eb7/FtWvipi24htQ5wrTmvyd02honOnIIVxUnJ+CNky4g2Pd?= =?us-ascii?q?21UE12bcK+HJZRtCyWLY97Tt44T211uis3y7sLsoOhcicQ0pQo3RvfZuSHc4eW?= =?us-ascii?q?5hLjU/6cLi1+hHJjZr2+iBey/lK6xu37TMm0305GritDktbSqnAAzx/e5tSdRv?= =?us-ascii?q?Z8/UqtwzKC2x3J5u1ZI005lLLXK5s7zb4xkpoTv17DHijzmEjulq+Wd1kr+uiz?= =?us-ascii?q?5uv9ZLXmoIGTNoB1ig7kKKgunda/AesgPggUQ2eb4fi81KHk/UDhXLpFlPg2kq?= =?us-ascii?q?3AvJDeJMQbvbK5DhRO0ocj7ha/Fy2p3M4ZnXkBNlJFeQiIg5LnO1HUc7jECqKQ?= =?us-ascii?q?il62kTpvj8vNPrD7D4+FenfKmq3gcLI78EVcxRA+1/hQ4ptVDvcKJ/elCWHrs9?= =?us-ascii?q?mNRCU4OAy92eqvN5NYkMs8XmSCGeXRZLnTul+g7+QpLvmNbckSojmreKtt3OLn?= =?us-ascii?q?kXJswQxVRqKux5ZCLSngRq03cXXcWmLlh5I6KUlPuwM/SOLwj1jbCmxaYXC/T6?= =?us-ascii?q?M1oDYhB9D/VNuRdsWWmLWEmRyDMNhOfGkfUQKFF3HlZ4SNHfAWZ3DKe5Izonk/?= =?us-ascii?q?TbGkDrQZ+1SuuQv9kuE1J+zS9z0ZvNTkztcnvuA=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DVAABthk1dZLBbRFBmHAEBAQQBAQcEA?= =?us-ascii?q?QGBVQUBAQsBgheBPjOTbE4BAQEBAQaBNpkPgXsJAQMBDCwBAgEBhD8CgmEcBgE?= =?us-ascii?q?EMgcOAQQBAQQBAQQBAwcBBFOFSII6KQGCZwEFOj8QCxgJExIPLRsGhSwYrGGFS?= =?us-ascii?q?YUDgTQBi2MRBng+SYQjPoonBJQ7lwoHAgKCHZQjJ4IglhileIFXBCyBWX0IO4J?= =?us-ascii?q?tkQdBgTQBjgoBAQ?= X-IPAS-Result: =?us-ascii?q?A0DVAABthk1dZLBbRFBmHAEBAQQBAQcEAQGBVQUBAQsBghe?= =?us-ascii?q?BPjOTbE4BAQEBAQaBNpkPgXsJAQMBDCwBAgEBhD8CgmEcBgEEMgcOAQQBAQQBA?= =?us-ascii?q?QQBAwcBBFOFSII6KQGCZwEFOj8QCxgJExIPLRsGhSwYrGGFSYUDgTQBi2MRBng?= =?us-ascii?q?+SYQjPoonBJQ7lwoHAgKCHZQjJ4IglhileIFXBCyBWX0IO4JtkQdBgTQBjgoBA?= =?us-ascii?q?Q?= X-IronPort-AV: E=Sophos;i="5.64,364,1559512800"; d="scan'208";a="316025790" X-MGA-submission: =?us-ascii?q?MDFZ8Z2mhl6KddNi9DnMoqyv4s1KJTWFVVk7WV?= =?us-ascii?q?7580gWqpjEMeDMj7fno5DOc7g1PIP86yYRc2Y/XYgCaHpo3sqR4bpbm9?= =?us-ascii?q?AV8IeTTEZDz0KODRurf7ua6lcdsltmGJVcoorAXpE4clGpmSkSvqiffU?= =?us-ascii?q?G/3Zp9T7uOI2SMAypG83AWTQ=3D=3D?= Received: from annexia.org ([80.68.91.176]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 09 Aug 2019 16:45:03 +0200 Received: from rich by annexia.org with local (Exim 4.89) (envelope-from ) id 1hw68c-0008QR-6O; Fri, 09 Aug 2019 15:45:02 +0100 Date: Fri, 9 Aug 2019 15:45:02 +0100 From: "Richard W.M. Jones" To: Gabriel Scherer Cc: caml users Message-ID: <20190809144502.vdbwhk24ez7jl65l@annexia.org> References: <20190809142719.ff4kogz4fq6r7vfr@annexia.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: NeoMutt/20170113 (1.7.2) Subject: Re: [Caml-list] Syntax puzzle / suggestion Reply-To: "Richard W.M. Jones" X-Loop: caml-list@inria.fr X-Sequence: 17752 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: On Fri, Aug 09, 2019 at 04:40:48PM +0200, Gabriel Scherer wrote: > If you have an interface file (.mli) for this module, then adding item3 > without putting it in all_items or in the .mli will result in an "unused > value item3" warning (-w +32). > There is no such warning in absence of .mli because, in that case, item3 > may a priori be used from the outside. I wasn't very clear, but we're using both the individual items and the list of all items elsewhere in the code. But it raises another point which is we'd like a list of all items, and maybe to selectively name some of those items so they can be referenced elsewhere. Rich.