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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 8CDC680143 for ; Mon, 29 May 2017 23:59:16 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=josh@berdine.net; spf=Pass smtp.mailfrom=josh@berdine.net; spf=None smtp.helo=postmaster@out1-smtp.messagingengine.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of josh@berdine.net) identity=pra; client-ip=66.111.4.25; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="josh@berdine.net"; x-sender="josh@berdine.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of josh@berdine.net designates 66.111.4.25 as permitted sender) identity=mailfrom; client-ip=66.111.4.25; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="josh@berdine.net"; x-sender="josh@berdine.net"; 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@out1-smtp.messagingengine.com) identity=helo; client-ip=66.111.4.25; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="josh@berdine.net"; x-sender="postmaster@out1-smtp.messagingengine.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A5zeZIRKYlrIf7aH0LtmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRL/TxwZ3uMQTl6Ol3ixeRBMOAuqwC1rWe8/i5HzdRvtDZ6DFKWacPfiFGoP?= =?us-ascii?q?1VpTBoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blIt?= =?us-ascii?q?daz6FYHIksu4yf259YHNbAVUnjq9Zq55IAmroQnLuMQbhYpvJrwxxxbLv3BEf/?= =?us-ascii?q?hayX5yKV+dmxvx5N288IJ//yhVpvks69NOXaLmcqs3SrBVEC4oP2cp6sP1qBLN?= =?us-ascii?q?VxGP5nwSUmUXlhpHHQ3I5wzkU5nyryX3qPNz1DGVMsPqQ780Xy+i77pwRx/zlC?= =?us-ascii?q?gHLT85/3rJhcF2kalWvQiupx17w47TfYGVKP9zdb7TcN8GWWZMWNtaWipcCY2+?= =?us-ascii?q?coQPFfIMM+ZGoYfgqVUArhSxChW3CePz1jNFnGP60bEm3+g9FwzNwQwuH8gJsH?= =?us-ascii?q?TRtNj7MKASUfu1zKLV0DjMcelW1ir86IjObB8qvPaBXbB3ccrKyUkiDBjKgUuK?= =?us-ascii?q?qYP4PjOV0PoCv3Kd7+V+SeKikmgqoBxyrDi33sohi4jEipgIxlzZ6Cl12ok4Kc?= =?us-ascii?q?emREN7edKpE4VcuzuEO4Z2WM8uXmJltSYgxrEYt5O3YC4Hw4k9yRHFcfyIaY2I?= =?us-ascii?q?7wrjVOmPJTd4g2poeLWihxau7ESs0/b8Vsyo0FZStCZFl8fDtmsW1xPJ5ciHS/?= =?us-ascii?q?19/ki/1jaJ2ADT6+dELl4umaXHLJ4hx6Y8lpsVsUvdAi/7gET7ga6Mekk55+Sk?= =?us-ascii?q?9v7rb7r8qpOCN4J4kgT+Pb4vmsy7D+Q4KA8OX22D9OS+073j5k35Ta5RgfIoiK?= =?us-ascii?q?nWrZHaJcIFqaKjBQ9azJoj5w6lDzi6yNQYgWUHLFVddR2blYfpPlXOLOn8Dfe+?= =?us-ascii?q?mFSsjCxmx+vGP73kGpXCNGLPkLbnfbZn6k5T0hA/zd5F58EcNrZUK/v2Xgr1tc?= =?us-ascii?q?fEJh4/KQ29hej9W/tn0YZLe2WUAuezPbnesFmFrrYtJPKMTIUYojr8LfVj4fPy?= =?us-ascii?q?2yxq0WQBdLWkiMNEIEuzGe5rdh2U?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AEBgCmmCxZhxkEb0JdHQEFAQsBGAEFA?= =?us-ascii?q?QsBhRmOfah7iH9EEwEBAQEBAQEBAQEBEgEBAQgNCQgoL4IzIoMKAQE4OzQBHIp?= =?us-ascii?q?uBKsJgxCDCQEBBYhfCJEVhSaeKJQUgQIBiQqGfpRON4EqMCEIJgqFBTUfgXB1i?= =?us-ascii?q?XkBAQE?= X-IPAS-Result: =?us-ascii?q?A0AEBgCmmCxZhxkEb0JdHQEFAQsBGAEFAQsBhRmOfah7iH9?= =?us-ascii?q?EEwEBAQEBAQEBAQEBEgEBAQgNCQgoL4IzIoMKAQE4OzQBHIpuBKsJgxCDCQEBB?= =?us-ascii?q?YhfCJEVhSaeKJQUgQIBiQqGfpRON4EqMCEIJgqFBTUfgXB1iXkBAQE?= X-IronPort-AV: E=Sophos;i="5.38,415,1491256800"; d="scan'208";a="226669678" Received: from out1-smtp.messagingengine.com ([66.111.4.25]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 29 May 2017 23:59:15 +0200 Received: from compute1.internal (compute1.nyi.internal [10.202.2.41]) by mailout.nyi.internal (Postfix) with ESMTP id 1FBA3208CB; Mon, 29 May 2017 17:59:14 -0400 (EDT) Received: from frontend1 ([10.202.2.160]) by compute1.internal (MEProxy); Mon, 29 May 2017 17:59:14 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=berdine.net; h= content-type:date:from:message-id:mime-version:subject:to :x-me-sender:x-me-sender:x-sasl-enc:x-sasl-enc; s=fm1; bh=870fhx uWdu5kb1SPvn+ghfqVmiBaExMnxk5KdU05Y3w=; b=RIOflrhgUdBmFK8YbMUYTX c0GFkF87JG6jJznQrEfNZf7JG7efplrYPUQmg2kGwZA1MXPb7jH55sF66gv+tTjz 1UpwNusikYIFNiKcRj2iw5Yq8oLHMbr05en01qKXkiszmM9hNT87xfCpLfRUiuzs o1ijN019ORmmYBDt0QvQhCe7Fup+w+JejY0+Di4WbLuMEz3dFeO/zFOJy1eBGFT/ MqHVlXX/oSofXMevpHLiOOvWLE6gSff8RxRDA2DsqYgTx92c0Sgy9CvQywLebV8W CgHJ7vAJlSOYMotOhsGKCEA/1W3iMk2U9ZRTWz2APnHNKeT9cADx4FYqFNByrWLQ == DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-type:date:from:message-id :mime-version:subject:to:x-me-sender:x-me-sender:x-sasl-enc :x-sasl-enc; s=fm1; bh=870fhxuWdu5kb1SPvn+ghfqVmiBaExMnxk5KdU05Y 3w=; b=X807qtYppjd3gOUSpmVnxuyDsLcyXFCOXcvcniGP55LXd/Ufo0U/ZxT+J 1PPsusNRIlv9NThLpZJypFnAE4/w1QyZnoKlU+RyoPdP0VVURrx+A6Kk6WoQjvIJ nOc8/ltJrYAurKpTYykZHjde9YGjfwGRdVJB6U/30hHp6SK6Vw4zHBcKZgfrzK6c nzeWnNyUy+IMho3BhDqeWsEQG8QYELA5nW3uJ+aT9ES2J+inXxUJiWUPsdIWh9Bx GGttE44O4JbWzW5f2uXUXIOKWS4J0kCYVBvXf41GDXc6oG1ZGwqbmh6sZT4uHPrz xTMGglcJMbWU4YV/4Las6+6V+9K8Q== X-ME-Sender: X-Sasl-enc: Pwu2Q0WesCtAFEMHbVhAuYDWhwwvVNo2Cncze933VkU/ 1496095153 Received: from jjb-mbp.localdomain (cpc87533-seve28-2-0-cust229.13-3.cable.virginm.net [82.25.185.230]) by mail.messagingengine.com (Postfix) with ESMTPA id D08D57E271 for ; Mon, 29 May 2017 17:59:13 -0400 (EDT) Received: by jjb-mbp.localdomain (Postfix, from userid 994052071) id 6FC68A5C9EC2; Mon, 29 May 2017 22:59:07 +0100 (BST) From: Josh Berdine To: caml-list@inria.fr Date: Mon, 29 May 2017 22:59:07 +0100 Message-ID: MIME-Version: 1.0 Content-Type: text/plain Subject: [Caml-list] enabling warnings using compiler-libs I would like to call e.g. Parse.implementation from compiler-libs with warning 50 'Bad_docstring' enabled. Have I overlooked something, or is that not possible using the standard exposed interface? I guess that one warning that involves the parser might not justify the overhead of adding an interface? Cheers, Josh