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 CF8FB80143 for ; Tue, 30 May 2017 01:17:42 +0200 (CEST) Authentication-Results: mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of josh@berdine.net) identity=pra; client-ip=66.111.4.25; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="josh@berdine.net"; x-sender="josh@berdine.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.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=mail2-smtp-roc.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 (mail2-smtp-roc.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=mail2-smtp-roc.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=3AACnx6hWuYynL6DRNFTbhKfKCZ2XV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBaDt8tkgFKBZ4jH8fUM07OQ6PG+HzFfqdbZ6TZZIcMKD0dEwe?= =?us-ascii?q?wt3CUeQ+e9SnfHZMbwaCI7GMkQHHRExFqcdXZvJcDlelfJqWez5zNBUj/2NA5y?= =?us-ascii?q?O/inUtWK15f/2O+94YDcbBtVjzShf7xyMA+2rQLMvcUKnIduMKg8xx/Ir3dSe+?= =?us-ascii?q?lbx35jKVaPkxrh/Mu98ppu/iZKt/4968JMVLjxcrglQ7BfEDkpPGc56dHxuxXE?= =?us-ascii?q?UQWB+GYXXH8MkhpPDQjF7RX6UYn0vyDnqOdz2zSUMNPvQ7wsVjus86lkSBnziC?= =?us-ascii?q?caLDE5633YitZxjK1Avh2soQF0zpPOb4GUMPp+eb7dfc8fSGFcUMtdSzBND4Wh?= =?us-ascii?q?ZIYUEeEPIfhXoJX8p1sWrBuxGw+sBP/0yjRVgnP6xLA23/g9HQ3D2gErAtAAv2?= =?us-ascii?q?nOrNjtNKkcT/27w6vGzTvNbP1Z1ivy5ZPUchw9u/yAQa58fdbNxUQpCgjLjk+Q?= =?us-ascii?q?qYvgPz6N0uoNtHOb7+p9Xu+ylWEnsRx+ojmpxsgyl4LEgYAVylff9SV524s6Ps?= =?us-ascii?q?O3SFRmbt6lFptfqTuWN41oTcM+WmxlvjsxxL4euZOjfSUHyY4rywPCZ/CaaYSF?= =?us-ascii?q?7QjvWPiRLDtgh39pZqiziwiy/ES61+HxVcm53ExUoidLjtXBsG0G2QbJ5cidUP?= =?us-ascii?q?R9+1+s2TaR2ADX7eFJOUc0lbfHK5I827IwjZ8TsVjbHiPsnUX5krSWdl4+9ein?= =?us-ascii?q?6uTnZLrmqYGaN497iwH+NLohltajDuQ/NwgCR2mb+eKi273/5UD0QbRHgucrnq?= =?us-ascii?q?XErZzWP8sWqrSnDwJVyooj7gywDzai0NQWh3kHK1dFdQqFj4juIFHOIOv1Auyh?= =?us-ascii?q?jFS2jThrxvbGMaP7DpXLMHfDjK/tfaxh5E5E1Aoz0ddf6opIBb4bJfLzXlb9tN?= =?us-ascii?q?jZDh8iLwy52P3nCdV41oMGQ22DGK6ZMKXIsV+J/O0jOeeMZJVG8Ar6ft8O7vvq?= =?us-ascii?q?xVowmFsce6bh+ZoMdDjsFf1jJwCdYGHwqtYHC2YD+AQkGr/EklqHBBxUfHb6da?= =?us-ascii?q?8m6jA9BcryD4DYRqinjaaN3SG2WJtbejYVWRi3DX70etDcCL83YyWIL5oky2Rc?= =?us-ascii?q?WA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BYAQDCqixZhxkEb0JdHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBhRmOfZBzmAiGJAKCWUMUAQEBAQEBAQEBAQESAQEBCA0JCCgvgjM?= =?us-ascii?q?kAYJBAQICAUABATgECwshJQ8BHCsGijUIBKsXgxCDCQEBBYg1AQoBAQEcCItgi?= =?us-ascii?q?lueKJQUgQKJC4Z+lE42gSswIQgmCkaEdB+BcHWJeQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BYAQDCqixZhxkEb0JdHAEBBAEBCgEBFwEBBAEBCgEBhRm?= =?us-ascii?q?OfZBzmAiGJAKCWUMUAQEBAQEBAQEBAQESAQEBCA0JCCgvgjMkAYJBAQICAUABA?= =?us-ascii?q?TgECwshJQ8BHCsGijUIBKsXgxCDCQEBBYg1AQoBAQEcCItgilueKJQUgQKJC4Z?= =?us-ascii?q?+lE42gSswIQgmCkaEdB+BcHWJeQEBAQ?= X-IronPort-AV: E=Sophos;i="5.38,416,1491256800"; d="scan'208";a="276461636" Received: from out1-smtp.messagingengine.com ([66.111.4.25]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 30 May 2017 01:17:41 +0200 Received: from compute1.internal (compute1.nyi.internal [10.202.2.41]) by mailout.nyi.internal (Postfix) with ESMTP id E309820BC4; Mon, 29 May 2017 19:17:40 -0400 (EDT) Received: from frontend2 ([10.202.2.161]) by compute1.internal (MEProxy); Mon, 29 May 2017 19:17:40 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=berdine.net; h= content-type:date:from:in-reply-to:message-id:mime-version :references:subject:to:x-me-sender:x-me-sender:x-sasl-enc :x-sasl-enc; s=fm1; bh=IalzYaLuEH3+mXlrQ8v95hbiiYzOC3+8+0zHm6q2F /0=; b=DkrzYvRbXdR85kCrf487xB0nBVVVY9Wrbp5/kAERanMvyNWMDcLRec4rn 9lep9Mrx36MGtNfIve8SlxvCkVRvJApcVt4IFQCQMrhFl6fezjZ6CFyvf33Mykuq eIY0t1Y5rn0ZJi5E2/ZndV/qmn0oSwwu+U5QQ3BVz4mpPo8UDgAXzrHrsMD3e33N 3ChOUWyaDMdAp2nI8FGlgUFnwYRm00OXaOTZQS5JHJVqm7l+yt/UhXiINSb8jxY0 1rLekPPLovtp/zO9F27Sea2T8Bxn4OJpXKZcif2spzwdEeCdBSnAm4xWBH8XOsbR AfzZ+EGu07ZmptLUr0xfOpk+3xN3A== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-sender :x-me-sender:x-sasl-enc:x-sasl-enc; s=fm1; bh=IalzYaLuEH3+mXlrQ8 v95hbiiYzOC3+8+0zHm6q2F/0=; b=JxrBpqe+gMo42Nm++1O0aqvaxGg0Hq+X/a bTcPGfcPGZEQqcn9+/qxIdj+TY2+dEeniZW9rGL/XdRV7IkkeorhrgV3XAJO3CLg TWReDfcfnkXLzsRD3JfBm9GnjB3FmhDc/+C9k8IvJvXbJzTy/EKYoMW5LiKt+Boc IVQWFA81lA+IU9lSt1ADVOIKFL7mXq/JIqaBoECC5GTx0VDBaTJ0tTpRMb8qWoB2 c27MNEMrkROCTW0B0Iwg4PA+hNyIpLHepngzgmdskt+LJmr6fNTjNSDMjdXrjmA6 3/eSfLd6Qpl3QxIFnInNVMnHxbCPUQMKcVsQly2wukH8ihc4rx7A== X-ME-Sender: X-Sasl-enc: ci7svRUpOUGEkMXGOD+yK4cPKLcxuqrBcugHh22WQHCw 1496099860 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 9AAA9240A3 for ; Mon, 29 May 2017 19:17:40 -0400 (EDT) Received: by jjb-mbp.localdomain (Postfix, from userid 994052071) id 47177A5CD3A2; Tue, 30 May 2017 00:17:34 +0100 (BST) From: Josh Berdine To: OCaml Mailing List In-Reply-To: References: Date: Tue, 30 May 2017 00:17:34 +0100 Message-ID: MIME-Version: 1.0 Content-Type: text/plain Subject: Re: [Caml-list] enabling warnings using compiler-libs Hi Nicolas, > Warnings.parse_options true "+50" > > would activate Warning 50 as an error, etc. I see, thanks, that's helpful. I was trusting the documentation (that does not mention Warnings) too much it seems. Curiously, it only works with Warnings.parse_options false "+50" but not Warnings.parse_options true "+50" because the code in Docstrings.warn_bad_docstrings only checks Warnings.is_active but not Warnings.is_error. But Warnings.parse_options false "@50" followed later by Warnings.check_fatal () does both print the warning and raise Warnings.Errors. Cheers, Josh