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 50EC51E6 for ; Fri, 15 Jan 2021 07:43:49 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.79,348,1602540000"; d="scan'208,217";a="487208925" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Jan 2021 08:43:46 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id F2117E0FB5; Fri, 15 Jan 2021 08:43:46 +0100 (CET) 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 E363CE0DE9 for ; Fri, 15 Jan 2021 08:43:41 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=nicolas.ojeda.bar@lexifi.com; spf=Pass smtp.mailfrom=nicolas.ojeda.bar@lexifi.com; spf=Pass smtp.helo=postmaster@FRA01-PR2-obe.outbound.protection.outlook.com IronPort-PHdr: =?us-ascii?q?9a23=3AxlSNtB8tw0oZ4v9uRHKM819IXTAuvvDOBiVQ1KB+?= =?us-ascii?q?0uoeIJqq85mqBkHD//Il1AaPAdyKraodwLSM++C4ACpcuMnH6ChDOLV3FDY9wf?= =?us-ascii?q?0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6?= =?us-ascii?q?PPn6FZDPhMqrye+y54fTYwJVjzahfL9+Nhq7oRjVu8UMnYduN6k9xxrXrnBVf+?= =?us-ascii?q?ha2X5kKUickhrh5Mq85oJv/zhVt/k868NOTKL2crgiQ7dFFjomKWc15MPqtRnH?= =?us-ascii?q?UwSC42YXX3sVnBRVHQXL9Qn2UZjtvCT0sOp9wzSaMtbtTb8oQzSi7rxkRwHuhS?= =?us-ascii?q?waKjM26mDXish3jKJGvBKsogF0zoDIbI2JMvd1Y7jQds0GS2VfQslRVjRBAoKi?= =?us-ascii?q?YIsJE+oBJvtTo43kq1cTsReyGQygCeXywTFKm3D2x7U33eQ/Hw/bwAwuEdEAsH?= =?us-ascii?q?rWo9X0KKgdXvu4w7PUwTnfdf5axSvx5JXOfxs8of+MR7Vwcc/JxEc3FgPKklKQ?= =?us-ascii?q?qYjnODOOzusDqmqb4PR9Wu21k2EqtgR2oiKyzcorjInJh54aylfA9Spj24Y5P9?= =?us-ascii?q?q4SExlbtG5CpRcrTqVOJFsQs45R2Fnpik7yrwIuZ66ZiQF1JMnxxvGZvGBboOH?= =?us-ascii?q?7Q7tWvyLLjdkmHJqZqi/hxCq/EW9xODxSsm53VZLoyRFj9TBtXIA2h/N58WHV/?= =?us-ascii?q?dw/Emv1SuR2g7c5e9KIUE5mLfZJpI/wrM+mYQevVnNEyPrlkj7irKdeEY8+uWw?= =?us-ascii?q?5Onrfq/qqoKAO4J2kA3yL7oilta7DOk3KgQDXGiW9f6h2LDh4UH1WqtGg/I2n6?= =?us-ascii?q?XDsp3WOdwXqrC4DgNJ3Isu7guzAyu839kZmHQLMU5JdA6CgoT0J13DJfX1Aeqj?= =?us-ascii?q?j1mqjTxl3erJPqf7DZXINnXDkKnufbJ660NEyAQ90cxS645JBr0YOvz9RlH9uM?= =?us-ascii?q?XfDhAiLQO42eHnCMhh1owFXmKPH6mZP77IvV+Q/OIvJPWMa5EJtzbhKvgl4Pju?= =?us-ascii?q?gWU+mV8AYamp2ZwXaHe7Hvh8P0qZZn/sjs8AEWcMoAU+UPTnhVKeXTJJenq+Q6?= =?us-ascii?q?Ax6ismBI64F4vOQo+gjKSE3CihH51WYm5GCkqLEXftb4iEXfYMZz6VIs9liDME?= =?us-ascii?q?TqKtS4gj1R6wqQD10aBrIfHO9S0Crp/j0MZ65uLSlRE89Dx4FdiS02aIT21shG?= =?us-ascii?q?MHWyc23LxjoUx60lqMzbJ3g/lcFdBK4/NJUxw6NYLHwuxhC9HyXxrBcc2TRFan?= =?us-ascii?q?RNWmGzAxQcgrz98AeUYuU+ml21rI1i+uRrsUjKCjBZou86ua0WK7b5J2wnPCka?= =?us-ascii?q?0glEUOQ81VNGTgiLQps0D4B5TIiFmej6anPZ4V0iDE8GOChT6FvFtZSxJ3SaXI?= =?us-ascii?q?dWoWaEXfqdD4oE7fGeyAE7MiZy1AwsmGo7B9Td/kgVxxbnv5cIDYYmm2n26rQx?= =?us-ascii?q?GKy7+FKoDjYU0Z0TXcBklCmAcWqyXVfTMiDzus9jqNRAdlEkjiNga1qbEn+SGL?= =?us-ascii?q?C3QsxgTPVHVPkr+8+xobn/uZEqlB2r8UuSkg7T5zGQTkho+EO5+7vwNkOZ5kT5?= =?us-ascii?q?Y97VNAiT2LmTZUZsXlF5o4w1kUfkJwol/k0AhxBsNYi882oXg2zQ10b6WFzFdG?= =?us-ascii?q?cDDe1pf1aOSOdjvCuSu3YquT4Wnwlc6M8/5VuvA1u1TtvUeiEU9wq3g=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DkBAAERwFgh14MayhiHQEBAQEJARIBB?= =?us-ascii?q?QUBQIFPAoEhAS9RgVceEi8Kh30DhTmGYoFpA4wKjkqBEQNUCwEDAQsCLQIEAQG?= =?us-ascii?q?ESgKBbh8GAQQ1BQ0CEAEBBQEBAQIBAwMEARMBAQEBCw0JCCmFaAyCOCkBgxEBA?= =?us-ascii?q?QEEQAEBOA8CAQgEQjIlAgQBEgiDHoF/UgUDLwIBpBICiWk8dIE0gwUBAQaFLxi?= =?us-ascii?q?CEQmBOIJ1hkyDcoElgRyBVIJWPoN/BQUBEgEjg0qCLIMeNSSBGD2dDpwvB4J6g?= =?us-ascii?q?muZHqJmlBidE4Q2AgQCBAUCDgEBBoFugQlwcFCCaVAXAg2OIRqDV4pYQzE3AgY?= =?us-ascii?q?BCQEBAwl8inYBgRABAQ?= X-IPAS-Result: =?us-ascii?q?A0DkBAAERwFgh14MayhiHQEBAQEJARIBBQUBQIFPAoEhAS9?= =?us-ascii?q?RgVceEi8Kh30DhTmGYoFpA4wKjkqBEQNUCwEDAQsCLQIEAQGESgKBbh8GAQQ1B?= =?us-ascii?q?Q0CEAEBBQEBAQIBAwMEARMBAQEBCw0JCCmFaAyCOCkBgxEBAQEEQAEBOA8CAQg?= =?us-ascii?q?EQjIlAgQBEgiDHoF/UgUDLwIBpBICiWk8dIE0gwUBAQaFLxiCEQmBOIJ1hkyDc?= =?us-ascii?q?oElgRyBVIJWPoN/BQUBEgEjg0qCLIMeNSSBGD2dDpwvB4J6gmuZHqJmlBidE4Q?= =?us-ascii?q?2AgQCBAUCDgEBBoFugQlwcFCCaVAXAg2OIRqDV4pYQzE3AgYBCQEBAwl8inYBg?= =?us-ascii?q?RABAQ?= X-IronPort-AV: E=Sophos;i="5.79,348,1602540000"; d="scan'208,217";a="370074573" X-MGA-submission: =?us-ascii?q?MDHkxcZ4Qdyc36fgiV3+ZCt/o6uGME/AwQyjJB?= =?us-ascii?q?/qS7jh7ENOCfBHEBDCVJn229rbsZJHTsE7ctGkZKCVzR2X3+IXecPyeM?= =?us-ascii?q?BXvDpX1bO6WX3HsqGKj25KABld2t7EpQ+0N9U5VhNhaRtP54MzbCKJFH?= =?us-ascii?q?5/v5CmK4yMdR5aAiLUxWo0BQ=3D=3D?= Received: from mail-eopbgr120094.outbound.protection.outlook.com (HELO FRA01-PR2-obe.outbound.protection.outlook.com) ([40.107.12.94]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 15 Jan 2021 08:43:41 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=D/TfITpcPzHoebIfh3WNOAfrQAcO4TTvqkCwG2wKvNoyOuD5OdtXQqy+s3NgFv7812kDRV4JsQHWO411LC8nR4xPn+wXtGczXPQ+/ofTplQnbY0ZOW+jmpX1pgNpwVhV3zx6SQnBv59NkBxxa4VbiHdyWWpF63Q9D2aF87suX0r9aFBoENNJagSuNIG/CRqsqZlMLIvfY/r9R94XtdHE9kgy3zASDfzaUt05RKegpoj6OWkJeqPcfPzXhq4oz2OO6r2m5oOG31Q7N377OJBC6EjHExKM/1Ho1Ov90kiBdN75bl+a3wLRn/a1zlrxsQxoj2NknsiMFylWmLwDuc4O2w== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=4YV/b/XNu+8Nb2Dte18Z7F6vR2Gq5E5iPEtNfOXf6ks=; b=TWm5eX4D0Uv1ZduZnqbaQvhc+eLsRqyUnYEJe5ZvzcscNADNBBcTqa7NKXRj6HxmaumAeKx/rVHGa4uRsXuArTwh69cm8klkzeeNBTV/2RDodWPjxNT1HxJ4zsVlGWEzMWgopmhfTmGzY9wwOtAMLNHFtWABeodpSB4wc+/c/LlAf6uLhC6vh27bINyyotRiK2pKwQFrKcpEFldmL3L6qaCWqNl/mPd9WGIap6LliGcOgjOC3MWcHQDQzqYYI0zySNlZJ82XaxhthDhkS6QNgFdV9/jsJmXIX0PO0iepLpO5LvvBOiwP4GafV+585YTwCgezpQ0cx2NV6z2Lbp6+Ig== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=lexifi.com; dmarc=pass action=none header.from=lexifi.com; dkim=pass header.d=lexifi.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lexifi1.onmicrosoft.com; s=selector2-lexifi1-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=4YV/b/XNu+8Nb2Dte18Z7F6vR2Gq5E5iPEtNfOXf6ks=; b=Kv1BuChyI3ZW9UqMGmGEm6qkZesjM23PL7Oc1y4CYvZJRwTPUr4hVTZjCJL0Mdnl8KUfElk7uJFBKTanmC4N6DGH77CQ3HPf/K9eqdfgvWC20Gqnx8PyweIg5dkpAoX8PaVbGCxq/+sEaQJHwTcD5/asXlkjwZZ7SrJF4P/p4/s= Received: from PR0P264MB0700.FRAP264.PROD.OUTLOOK.COM (2603:10a6:100:10::10) by PR1P264MB1294.FRAP264.PROD.OUTLOOK.COM (2603:10a6:102:187::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3742.10; Fri, 15 Jan 2021 07:43:39 +0000 Received: from PR0P264MB0700.FRAP264.PROD.OUTLOOK.COM ([fe80::78a3:c107:2f9c:6d65]) by PR0P264MB0700.FRAP264.PROD.OUTLOOK.COM ([fe80::78a3:c107:2f9c:6d65%4]) with mapi id 15.20.3742.012; Fri, 15 Jan 2021 07:43:39 +0000 From: =?iso-8859-1?Q?Nicol=E1s_Ojeda_B=E4r?= To: "caml-list@inria.fr" , Christophe Raffalli Thread-Topic: [Caml-list] functor inlining Thread-Index: AQHW6rzXuMTS/p5KOUGfaZbf8+eRKKonpmwAgABpEYCAAD6tsw== Date: Fri, 15 Jan 2021 07:43:39 +0000 Message-ID: References: , In-Reply-To: Accept-Language: fr-FR, en-US Content-Language: fr-FR X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [85.170.245.70] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: ae720dcb-5719-4c19-883c-08d8b929463d x-ms-traffictypediagnostic: PR1P264MB1294: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:4941; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: cMwzQ4lQXIbxO53DuMxaA+jwn1MFVo1CWY1wXOAXvGk2Xw/Y24i6OEn44u3wyXQQMzs1PGAAf0T5inkTWttkvKiBZl8ZxwBgRBxgrMU/XoKvUGQmegfYd0OmrKjqPhooxhkz4R5KTGJdTgEcaWO0VL5wYVhq7NU55B+Fc6WvUj0Z1aFxcXiTnnTHMaRRP4BHobMZF+iYNpsfSunB3UtwA8poejQiKthU+Hl9GPF8Wt2oScnuoKUTELdBGvGC6patGYmNENd3xn61Nf7aASJY9G/nKaao5Nw5vrqUAnLw4ONuKVRastw5lTK7pkKgq3WIzCi30nSl0dX1W36wspF5pW8kgA4WoD10oQ4FuOueMeIWOs9Mi8rbygoBElz5QP48YKixcO1fXeavnFCKGDt6Jw== x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:PR0P264MB0700.FRAP264.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(366004)(39830400003)(136003)(396003)(376002)(346002)(6506007)(316002)(52536014)(86362001)(66946007)(8676002)(26005)(110136005)(478600001)(186003)(66556008)(71200400001)(55016002)(83380400001)(33656002)(5660300002)(2906002)(8936002)(76116006)(19627405001)(4744005)(66476007)(66446008)(9686003)(64756008)(7696005);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata: =?iso-8859-1?Q?2g+s2d7fN/BL0iI7KRk/OcmJU5mL2oJnDIsfmg9NC7a/4iI7R8340JIwTG?= =?iso-8859-1?Q?BTo8O0x0oFXBO79jwXSLln7tOKL9cuh3Ex+Fg/R7mu+DdAM9DANAdt3Acr?= =?iso-8859-1?Q?DUPDZq5PoKHd30ZjY7pWUDijFIw+sLDfTScfcAjpDr1ffrawq/bq7b4gqN?= =?iso-8859-1?Q?+4CNaAr6D00aM7T++ZmDF9+9sIIP3v1OxpF1jQF2aWJOJqmjtfb9PE8JLH?= =?iso-8859-1?Q?7/gZ0OMeKk3zbGHqCGGbYXK09/mcgRw0a7NyvM+eu4JlyDLWt1fGvCYByK?= =?iso-8859-1?Q?575XlNLYrPDswvdm/LcAgbLjaGWfVCZRBAPepeKYuvMoEzZNguwzdcEuXf?= =?iso-8859-1?Q?Ki369k32/Q3b3K0W1CaHsVlNUOdHQz3tEGXlstGZmnTWfvryZbSvHk0JJT?= =?iso-8859-1?Q?cbp+hB1FnhWXpe/A4/lZr6DYRBT1GZejYgPRlc7DK45U3XL/Pxz43jD//l?= =?iso-8859-1?Q?l0AeGo1OvJ1W5DevnUwq4BOpApTPCiROf7aW8sLspp/R0RwtS6KKERKdIp?= =?iso-8859-1?Q?SLq74KiwsOzOxwlAyfjOqoSdbO+UHjs8uiXtoLfRTMYsZUzd5PLWiFc3HQ?= =?iso-8859-1?Q?QZomnF7iBT0OMWacIL7uhp93ziH734xmf8nfAEgs1dflpbhepeD2bH2RQc?= =?iso-8859-1?Q?q7JmO8hW5maRB9fYwSTg5M8UStx/oU0UzJhNxJEvW4rrm9lbEWDa1wWCaW?= =?iso-8859-1?Q?j59NiyFcAEyH97NIezMafqE4227Ompyo2OXghiWatoYM8fol5fcN/KAMgK?= =?iso-8859-1?Q?6b0K3x6TWHUqWCukFFnHGMMPcUb4XtHsO8WvN0C1jxfA0RJ5BMpDBrh2MW?= =?iso-8859-1?Q?H1S8eRTceY7K8+e45fH29uxtOiBOb6pysnuIl5ogT4u9061c3EVlHI/8Lf?= =?iso-8859-1?Q?Al6aJSRhOleuhxD7UiWs8h4UzHPN0dVAkrTeIkKQhPQEIRTOXTxiEPzdg5?= =?iso-8859-1?Q?bZbobW3e9Xt3cqLslJ/zGx1w5nHWXhlEYvU7tKDnyJLv3RhL7wG7RHs1fu?= =?iso-8859-1?Q?DQQYX7rNeMisy7+eo=3D?= x-ms-exchange-transport-forked: True Content-Type: multipart/alternative; boundary="_000_PR0P264MB0700E08AE137AFBA280E58B7C3A70PR0P264MB0700FRAP_" MIME-Version: 1.0 X-OriginatorOrg: lexifi.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: PR0P264MB0700.FRAP264.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-Network-Message-Id: ae720dcb-5719-4c19-883c-08d8b929463d X-MS-Exchange-CrossTenant-originalarrivaltime: 15 Jan 2021 07:43:39.5900 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 9c9628ec-e5c3-4aa7-afa1-e7bf99470874 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: jXGgwGSupZyyXa9XB0TxPyg32ASxRRC2/pC4vNKJDrUGulDqBhRY4zyI+ne+U6k0ZuS/wAXHbSz2ieP6t6QpYhTXuW6Uoj+VPWWJAwQzEAU= X-MS-Exchange-Transport-CrossTenantHeadersStamped: PR1P264MB1294 Subject: RE: [Caml-list] functor inlining Reply-To: =?iso-8859-1?Q?Nicol=E1s_Ojeda_B=E4r?= X-Loop: caml-list@inria.fr X-Sequence: 18367 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --_000_PR0P264MB0700E08AE137AFBA280E58B7C3A70PR0P264MB0700FRAP_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Dear Christophe, You can disable the use of "-opaque" by always compiling in the release pro= file, either by passing "--profile release" on the command line or by addin= g (profile release) to the dune-workspace file. Hope that helps, Nicolas ________________________________ De : caml-list-request@inria.fr de la part de = Christophe Raffalli Envoy=E9 : vendredi 15 janvier 2021 04:57 =C0 : caml-list@inria.fr Objet : Re: [Caml-list] functor inlining CAUTION: This email originated from outside of the organization. Do not cli= ck links or open attachments unless you recognize the sender and know the c= ontent is safe. --_000_PR0P264MB0700E08AE137AFBA280E58B7C3A70PR0P264MB0700FRAP_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
Dear Christophe,

You can disable the use of "-opaque" by always compiling in the r= elease profile, either by passing "--profile release" on the comm= and line or by adding (profile release) to the dune-workspace file.

Hope that helps,
Nicolas

De : caml-list-request@inri= a.fr <caml-list-request@inria.fr> de la part de Christophe Raffalli &= lt;christophe@raffalli.eu>
Envoy=E9 : vendredi 15 janvier 2021 04:57
=C0 : caml-list@inria.fr <caml-list@inria.fr>
Objet : Re: [Caml-list] functor inlining
 
CAUTION: This email originated from outside of the= organization. Do not click links or open attachments unless you recognize = the sender and know the content is safe.

--_000_PR0P264MB0700E08AE137AFBA280E58B7C3A70PR0P264MB0700FRAP_--