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 sympa.inria.fr (Postfix) with ESMTPS id 00151E0DE9 for ; Fri, 15 Jan 2021 18:05:48 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=christophe@raffalli.eu; spf=Pass smtp.mailfrom=christophe@raffalli.eu; spf=None smtp.helo=postmaster@mail.raffalli.eu Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of christophe@raffalli.eu) identity=pra; client-ip=144.91.90.233; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christophe@raffalli.eu"; x-sender="christophe@raffalli.eu"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of christophe@raffalli.eu designates 144.91.90.233 as permitted sender) identity=mailfrom; client-ip=144.91.90.233; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christophe@raffalli.eu"; x-sender="christophe@raffalli.eu"; 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.raffalli.eu) identity=helo; client-ip=144.91.90.233; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christophe@raffalli.eu"; x-sender="postmaster@mail.raffalli.eu"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A5KOwKhKhM1wNfXMLKtmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgfKvjxwZ3uMQTl6Ol3ixeRBMOHsqMC07Cd7/2oGTRZp8rY7zZaKN0EfiRGoP?= =?us-ascii?q?1epxYnDs+BBB+zB9/RRAt+Iv5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkJ6?= =?us-ascii?q?KevvB4Hdkdm82fys9J3PeQVIgye2ba9vIBmsogjdq80bjZF+JqovxRfErXtFcP?= =?us-ascii?q?lSyW90OF6fhRnx6tqy8ZJ57yhcp/ct/NNcXKvneKg1UaZWByk8PWAv483ruxjD?= =?us-ascii?q?TQ+R6XYZT24bjBlGDRXb4R/jRpv+vTf0ueR72CmBIM35Vqs0Vii476dqUxDnli?= =?us-ascii?q?EKPCMk/W7Ni8xwiKVboA+9pxF63oXZbp2ZOOZ4c6jAe94RWGhPUdtLVyFZDI2y?= =?us-ascii?q?b5UBAfcCM+ZWoIbyu0YBohmlCAmjGO/i0CVFimPq0aA41ekqDAHI3BYnH9ILqH?= =?us-ascii?q?nZstX1NL0TUeCu0KnIyi3Db/NI1jzg9IbHaB4hof+WUrJ0dcrRyFQkGgTZgVWQ?= =?us-ascii?q?s4zlPiiV1vgKs2iD7+pvS/mii3Q9pAF/rDig3MMsio3Iho4P1F/E6Dx0zYAoLt?= =?us-ascii?q?K3VEB1e8SrEIdMty6ELYt2RNsvTmV1tCom17AKpJ+2cSoUxJonxhPTd/+KfouU?= =?us-ascii?q?7x7+SeqfLyp1iG57dL+hiBu+7FSsx+nyW8Sw31hHri5In9nQu30Lyhfd6dCHR+?= =?us-ascii?q?Ng8kqu1juDzQTe5vxeLU0wiabXMYAtz7A+m5YLr0jPAjH6lF/ygaOKbEkp++el?= =?us-ascii?q?5/7nb7n4oJKXKpV6hRvkMqs0n8yyGeQ4PRYKX2ic4em80afs/Uz9QLlQlP05iK?= =?us-ascii?q?fZsJ7AKsQfoq65AhVZ3Zg+6xqnDjem1soXnWUfIV5Ydx+KgJLlNlXTLPziCfqz?= =?us-ascii?q?n06gnCllyv3IJrHhB4/CLnnHkLfvZ7Z97EtcxRIvwtBf/ZJUC6oBIO70Wk/ptN?= =?us-ascii?q?zXEAQ0MxauzObpBtVyzIceWWaOAqODLqzSrEeE5vgzLOmUeI8VpDH9JuA56PH0?= =?us-ascii?q?iH85nUYRfa2o3ZsMdHC1Be9mIkWcYXr0mNgNC2YKvgwkTOzrklKOSzBTZ2zhF5?= =?us-ascii?q?47sxc6A4WihJz0YYKgjLW29quhVslQZ2tBDlmXV3DqeomNHf0FcgqWL99gnD1C?= =?us-ascii?q?Xr+kHdwPzxar4ST60bt8Mu3M+iBQj5vt2tFx4+ybwRoy7z1vE8OF02ylVWh6kG?= =?us-ascii?q?oMQz5w0b0p8h818UuKzaUt268QLtdU/f4cCl5nZ66Z9PRzDpXJYiyEftqNTw/2?= =?us-ascii?q?ENCvADV3VNs/zdYKZ0c7Fsjw1kmSjRrvOKcckvmwPLJx96vd23brIMMkkCTc3a?= =?us-ascii?q?cvhl0iQ41CKD//3/Itx03oH4fM1n6hueOyb61Fh3zX/WmNxG6KvQdVTVwoXA?= =?us-ascii?q?=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AJAADOygFg/+laW5BiGgEBAQEBAQEBA?= =?us-ascii?q?QEDAQEBARIBAQEBAgIBAQEBgX0DAQEBAQsBg3ggEi+EP4kEiEyFG4pUilIUgWg?= =?us-ascii?q?LAQMBCAUtAgQBAYRKAoFuHgcBBDIHDgIQAQEFAQEBAgEDAwQBcIVhDII4IoMaA?= =?us-ascii?q?QQBIx0BATcBBAsLQgICEEcGgzqCZh8Br12BMoMFAQEGhXuBOgmBOAGBUopneUE?= =?us-ascii?q?+gUKEKj6EBINSgmCDHiITJCiBLZ1nm1eDAYEcmnyBE4F2n1C2DIFdCyiBV00mT?= =?us-ascii?q?YJpUBkNjiGEcol5HzM3AgYBCQEBAwlWJhOLdgEB?= X-IPAS-Result: =?us-ascii?q?A0AJAADOygFg/+laW5BiGgEBAQEBAQEBAQEDAQEBARIBAQE?= =?us-ascii?q?BAgIBAQEBgX0DAQEBAQsBg3ggEi+EP4kEiEyFG4pUilIUgWgLAQMBCAUtAgQBA?= =?us-ascii?q?YRKAoFuHgcBBDIHDgIQAQEFAQEBAgEDAwQBcIVhDII4IoMaAQQBIx0BATcBBAs?= =?us-ascii?q?LQgICEEcGgzqCZh8Br12BMoMFAQEGhXuBOgmBOAGBUopneUE+gUKEKj6EBINSg?= =?us-ascii?q?mCDHiITJCiBLZ1nm1eDAYEcmnyBE4F2n1C2DIFdCyiBV00mTYJpUBkNjiGEcol?= =?us-ascii?q?5HzM3AgYBCQEBAwlWJhOLdgEB?= X-IronPort-AV: E=Sophos;i="5.79,350,1602540000"; d="asc'?scan'208";a="487350226" X-MGA-submission: =?us-ascii?q?MDGLZmIW2OlnHH35fJpYS253RfBcMKMSG2KF3B?= =?us-ascii?q?60Qg73/zvI770RLn3ZCT02W6OVzY8PfgmlG9Z2YBNHlvW9oYvVhRlAMB?= =?us-ascii?q?j+znNbDp41cmXIPXtmvXIAwemOZddxofGOLnPhZZPq2k0YiplEOCMkf5?= =?us-ascii?q?a1BNaqbnJaGHl1Juf/JL6QFA=3D=3D?= Received: from vmi311709.contaboserver.net (HELO mail.raffalli.eu) ([144.91.90.233]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 15 Jan 2021 18:05:36 +0100 Received: from localhost (52.64.90.202.dsl.dyn.mana.pf [202.90.64.52]) by mail.raffalli.eu (Postfix) with ESMTPSA id 1B13B640B37; Fri, 15 Jan 2021 18:05:31 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=raffalli.eu; s=mail; t=1610730332; bh=cgU0S5fAYvuMv6LDXqt021HRILadRlGcJmE0rizPwng=; h=Date:From:To:Cc:Subject:References:In-Reply-To; b=d/2UTktZxGsKJ9rupnPyamQf1SKrfOPym6mC7u/wzyjMKi3aKps/x3CbNCGDtN5hg DGATBUv/5al8+XZq81J+Xn9ctEywtXZqH7JeKM7shcEMteNflgHsI1Jjtg9/d+Vg8G nRYZ5afYBRTRAyhmj2kH1ago04fpYeHHiiIFR11RiYqlNybiIo6qKP74eAVUrJmaMO ZHu6RFhNFASDAjaGYu7vSN0wp3YAO6yk7PiIy0uBllggM88pbED/ACnFXA8U6KDXGJ wCPECeLifxgNygL7r5wzfmrjqMRSJWPM4luuJO3uWzJQqaiy9YxUIq5pL533nk/pCH YiMbxV345m0dQ== Date: Fri, 15 Jan 2021 08:05:22 -0900 From: Christophe Raffalli To: =?utf-8?Q?Nicol=C3=A1s_Ojeda_B=C3=A4r?= Cc: "caml-list@inria.fr" Message-ID: References: MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="5X+aHziQf25CMwVi" Content-Disposition: inline In-Reply-To: Subject: Re: [Caml-list] functor inlining --5X+aHziQf25CMwVi Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Le 21-01-15 07:43:39, Nicol=C3=A1s Ojeda B=C3=A4r a =C3=A9crit : > Dear Christophe, > > You can disable the use of "-opaque" by always compiling in the release > profile, either by passing "--profile release" on the command line or by = adding > (profile release) to the dune-workspace file. Thanks, I finally use (env (dev (flags :standard -warn-error -55) (ocamlopt_flags :standard -warn-error -55 -inline 50000 -O3)) ....) in my dune file. But I submitted an issue and suggest -warn-error -55 as default for the dev profile. This makes sure compilation works for both profiles or fails for both. Cheers, Christophe > Hope that helps, > Nicolas --5X+aHziQf25CMwVi Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAABCgAdFiEEJ369adg37nCCF0BCVXIaPfvmsfAFAmABy08ACgkQVXIaPfvm sfBe/gf6AoJve/WOs7p6ehFwbSx7M7Fb1J5iB/cleQfEpzEjEuzGvuQFSLUAv/HV Di0Tess4n7OmO0MvgaDQv9LYgharx2IPBJiTmTIdIGImRZRUg2Ux1Z0WbsxtXCYi ZvOCsvPmCbjpPyq/ZHfXd+usSk5dULqT1RM/ms14kdYPX97FqalhWF9uvyMeazmy Pfg08FaQaGytnpRP62wBEUVglPGJ+vlf1uCkrzHnDN02O5xosBr0UEfSM8mXgyYn UcbJHf5Ea6FY4pUgl5pHpTuPnkPcjuPts+sMEgDPoNsoba5De2obPQwIGEmEVA/F Qz4V5Q9yNaTlwgnxefEGIPsi7BhkeQ== =Rz2o -----END PGP SIGNATURE----- --5X+aHziQf25CMwVi--