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 ESMTP id A52B35D4 for ; Tue, 30 Apr 2019 13:28:13 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,413,1549926000"; d="scan'208";a="381123923" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 30 Apr 2019 15:27:53 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 8EAF1826A5; Tue, 30 Apr 2019 15:27:53 +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 9D4FE822B9 for ; Tue, 30 Apr 2019 15:27:42 +0200 (CEST) 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-MR2-obe.outbound.protection.outlook.com IronPort-PHdr: =?us-ascii?q?9a23=3Axd+JAx2s4NaD6jiWsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seMeIvad9pjvdHbS+e9qxAeQG9mCsrQa16GI6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglVmTaxe7J/IRq5oQjQqsUdnJdvJLs2xhbVuHVDZv?= =?us-ascii?q?5YxXlvJVKdnhb84tm/8Zt++ClOuPwv6tBNX7zic6s3UbJXAjImM3so5MLwrhnM?= =?us-ascii?q?URGP5noHXWoIlBdDHhXI4wv7Xpf1tSv6q/Z91SyHNsD4Ubw4RTKv5LpwRRT2lC?= =?us-ascii?q?kIKSI28GDPisxxkq1bpg6hpwdiyILQeY2ZKeZycr/Ycd4cWGFPXNteVzZZD428?= =?us-ascii?q?cYUBEvYBM+hboYnzpVQOrAexCwajC+701j9HnWX70bEm3+g9EwzL2hErEdIUsH?= =?us-ascii?q?TTqdX4LL8cUeGpw6nPyTXEbehW0irk5ojKbB8uvOuDVq9tfM3U00kkCgTIjlOR?= =?us-ascii?q?qYP5ODOV0v4Cs3OB4+pnV+KglXMopBtrrje03MgskJLEhoYLxVHL9CV5zoc1Kc?= =?us-ascii?q?ekR058ZN6pCZ1dvDyUOYtxR8MtWWBouCAix70Cp5G6cykKyJomxxLFd/OHdI2I?= =?us-ascii?q?7xT+X+iSOTd1nH1odK6lixqv7UStyPfwW82u3FpXoCdIlsHAum4R2xHX8MSKSf?= =?us-ascii?q?tw8l281TuO1Q3f8O5JLEAsmarVNZEswaI8m58WvEvfAyP7l1j6gaqYdkk65uel?= =?us-ascii?q?6uHqba/7qZKdK4B5jx/xPb8zlcChB+kzLxIAUHKB+eum0b3u5U35T6tOjv0xiq?= =?us-ascii?q?TXsIzUKNgHqqKkGgNb1Zot5wimAzehy9sXg2MLLFVYeBKblIfpPEzOIPblAvul?= =?us-ascii?q?m1SsijBrx+zYMbL9HpXNL3/DkLH7cbZ69k5c1A4zzddY55JXEL0OPPXzWkrpuN?= =?us-ascii?q?zZCB82LRC0zv7oBdlhzI8SRH6DD62DPK7Wq1OE++wiLu2UaI8Qojn9Kvwl5/D0?= =?us-ascii?q?jX8+nF8QZa+p3ZoLZ3C/GvRpOV6ZbWDrgtcDD2gFoxAxQPbxh1KYSz5efHKyUL?= =?us-ascii?q?wz5zE6BoKmDJ3PSZyqgLyExCu7BIFZZnhaClCQFnflb5mLVO0JaCKWO8Nhlj0E?= =?us-ascii?q?VaO9S4I6zhGvtAr6y6J9IebO+y0Ys4jj1Nlv6OHJmxEy7288M8PI9mCCUmxw1k?= =?us-ascii?q?oNTSUx2qk39Ul8xUqO1e5xhvZCEtpaz/JMXgozc5nGwLopJcr1X1fnf9yOTN+9?= =?us-ascii?q?CvKkDD04Bvi92ZdaZUd2HNGrlVbE3SemCvkfnqajAJEk86zdmXP2IpAumD79yK?= =?us-ascii?q?A9ggx+EYN0Pmq8i/s6rlCLXtKbowCij6+vMJ8k8mvV7m7alziKsVFZXg82WqLA?= =?us-ascii?q?DyhGNxnm6O/h70aHdIeATLEuMw9P08mHc/EYbtD5jFtHAvzkPYaHOj/jqyKLHR?= =?us-ascii?q?+Ng4i0Qs/qdmEagHqPJnIty1lW2EzccA80C2Gmvn7UCyFoGRT3eUTw/OJiqXS9?= =?us-ascii?q?CEgp0wWNaE4n3L2wqEcY?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A3AACCTMhch4sJayhmHgEGBwaBUQkLA?= =?us-ascii?q?YE9UGxUIQQLKAqEBoNHA4UxiV5zgWSKOWmNLhSBEANUDwEbEoRAAheGNgYBBDA?= =?us-ascii?q?JDgEDAQEEAQECAQEBARMBAQEIDQkIKSMMgjopAYJmAQEBAwESEQQNDAEBNwEEC?= =?us-ascii?q?wIBCAsNAgImAgICIBAVEAIEDgUigwABgWoDDg8BAqMDAoE1iF9xfDOCeQEBBYU?= =?us-ascii?q?IGIEHgQcDBoELJwGMQ4Ecg24HLj6EDDiDCoJYjUOYYGUHAoILgWGQWRuVL6BfA?= =?us-ascii?q?gQCBAUCDgEBBYFPgg5wUDEGgjWCDxqCJoEvilNBMQGBKJFtAYEgAQE?= X-IPAS-Result: =?us-ascii?q?A0A3AACCTMhch4sJayhmHgEGBwaBUQkLAYE9UGxUIQQLKAq?= =?us-ascii?q?EBoNHA4UxiV5zgWSKOWmNLhSBEANUDwEbEoRAAheGNgYBBDAJDgEDAQEEAQECA?= =?us-ascii?q?QEBARMBAQEIDQkIKSMMgjopAYJmAQEBAwESEQQNDAEBNwEECwIBCAsNAgImAgI?= =?us-ascii?q?CIBAVEAIEDgUigwABgWoDDg8BAqMDAoE1iF9xfDOCeQEBBYUIGIEHgQcDBoELJ?= =?us-ascii?q?wGMQ4Ecg24HLj6EDDiDCoJYjUOYYGUHAoILgWGQWRuVL6BfAgQCBAUCDgEBBYF?= =?us-ascii?q?Pgg5wUDEGgjWCDxqCJoEvilNBMQGBKJFtAYEgAQE?= X-IronPort-AV: E=Sophos;i="5.60,413,1549926000"; d="scan'208";a="304467391" X-MGA-submission: =?us-ascii?q?MDFqQcdsuMAK3SqtOWpceMLjyC1yOIhlgf+rHA?= =?us-ascii?q?S7sZoEExYC7H5DUCPvCwZvc/Qn9gMVo3/7phT8zrxaNs1oZ/3ZPS7xwA?= =?us-ascii?q?kb1S3Ta3YeJSbNFmvh4WRV4BK5URPMF39gcfqQh0peZydnOKjN3LeSIL?= =?us-ascii?q?JxJhWTSTCiSZP9C02hFqiofg=3D=3D?= Received: from mail-eopbgr90139.outbound.protection.outlook.com (HELO FRA01-MR2-obe.outbound.protection.outlook.com) ([40.107.9.139]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 30 Apr 2019 15:27:39 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lexifi1.onmicrosoft.com; s=selector1-lexifi-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=fO2mWqdt+Y8vIBrgU93Z67sJlxt69m/2FULpcqP3rNI=; b=u473jLe80ELJCMrZ8fHxdWlfKBwOB0ubEmAdNSKzhAeo6JmPwXlMbCnb30sYPOw/9PhqJX04K4FVTY19fCMHYK7inyQOUf7AdKcS3VolgEXK861nsLBtccEXW7vmOeRhgVmGtOJ3w8wTjr3PoifbkBLYjhMYyfksttORs0pfoFk= Received: from MRXP264MB0728.FRAP264.PROD.OUTLOOK.COM (52.134.50.10) by MRXSPR01MB3.FRAP264.PROD.OUTLOOK.COM (52.134.50.144) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.1856.10; Tue, 30 Apr 2019 13:27:37 +0000 Received: from MRXP264MB0728.FRAP264.PROD.OUTLOOK.COM ([fe80::c141:f2c6:ad6c:ebd2]) by MRXP264MB0728.FRAP264.PROD.OUTLOOK.COM ([fe80::c141:f2c6:ad6c:ebd2%6]) with mapi id 15.20.1856.008; Tue, 30 Apr 2019 13:27:37 +0000 From: =?utf-8?B?Tmljb2zDoXMgT2plZGEgQsOkcg==?= To: Miguel Ambrona CC: OCaml Mailing List Thread-Topic: [Caml-list] Function that outputs a functor Thread-Index: AQHU/1ZGhOebSFzmDUenrKfdIHHFWKZUsjSA Date: Tue, 30 Apr 2019 13:27:37 +0000 Message-ID: References: In-Reply-To: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-clientproxiedby: HE1PR06CA0138.eurprd06.prod.outlook.com (2603:10a6:7:16::25) To MRXP264MB0728.FRAP264.PROD.OUTLOOK.COM (2603:10a6:500:24::10) x-ms-exchange-messagesentrepresentingtype: 1 x-gm-message-state: APjAAAUPuXxcloNbbf6xOkKsBrFA6GXIP1obykzyQgXWtrG6ZfrPzaqC 4qhHdz4R1jXG6Ah566EF4l7hSaoPmB9Zeq4NVNk= x-google-smtp-source: APXvYqxwG3vwqe1SxZBqUSqdLpYA+TJ9U5AJ0x4soMUwjotigSvTuf0fchnbkDqyN4bjZVDOLu1JJTWCI1Zk7tDNfqY= x-received: by 2002:ac2:5625:: with SMTP id b5mr34313554lff.137.1556630850812; Tue, 30 Apr 2019 06:27:30 -0700 (PDT) x-gmail-original-message-id: x-originating-ip: [209.85.167.45] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: cb78d9cd-71b4-48ec-224e-08d6cd6f9a61 x-microsoft-antispam: BCL:0;PCL:0;RULEID:(2390118)(7020095)(4652040)(7021145)(8989299)(4534185)(7022145)(4603075)(4627221)(201702281549075)(8990200)(7048125)(7024125)(7027125)(7023125)(5600141)(711020)(4605104)(2017052603328)(7193020);SRVR:MRXSPR01MB3; x-ms-traffictypediagnostic: MRXSPR01MB3: x-ms-exchange-purlcount: 1 x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:4714; x-forefront-prvs: 00235A1EEF x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(39840400004)(346002)(136003)(376002)(366004)(396003)(199004)(189003)(446003)(11346002)(95326003)(8936002)(97736004)(8676002)(386003)(6506007)(6306002)(81156014)(53546011)(85182001)(99286004)(52116002)(4326008)(6862004)(81166006)(61266001)(6246003)(53936002)(486006)(256004)(476003)(6512007)(9686003)(25786009)(316002)(66066001)(26005)(14454004)(229853002)(2906002)(55446002)(85202003)(5660300002)(66946007)(66446008)(73956011)(66556008)(498394004)(64756008)(6116002)(3846002)(66476007)(186003)(6486002)(6436002)(71200400001)(71190400001)(7736002)(305945005)(86362001)(413944005)(966005)(102836004)(76176011)(508600001)(61726006)(68736007);DIR:OUT;SFP:1102;SCL:1;SRVR:MRXSPR01MB3;H:MRXP264MB0728.FRAP264.PROD.OUTLOOK.COM;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;A:1;MX:1; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam-message-info: RpqJ/+9WBX91Ii1EwnkeI70MyyY4B8yrPgM23FuufFA/UVOILYDaaznNO2l9hBcea0dJuyQJSmOgi75wZEeYhe0ovfGSYQW8K3RwHRyhNIUwIKjl53cXUCh4wVWXqozOA7WCSRVmhfAFYcFC++xF+pPRwC2995yLrSwM2L3rtdzsuwHrEJGX0E5znnZNh6PUddJg6Pz/A1Lg5IgvoWO6zl7y2/5xnOYepDKVH2o7uI+K2zTHUItoLAAQJWHV2WaaaF8MnI0FdiRhEm5alF4NaDphQRyH1ZQC28kyXcxL6B6yuakZYyaTOgIx/Shlxp+ayoKiz5KNcX27C2CaxUqViv1A32vV59YuUeMfgGwUxJSWiitnLUukBsNDksJReAk8OTBam9VOOXuKemrG6DyS/50WRUtc6bmaMCMvRIq/c+0= Content-Type: text/plain; charset="utf-8" Content-ID: Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-OriginatorOrg: lexifi.com X-MS-Exchange-CrossTenant-Network-Message-Id: cb78d9cd-71b4-48ec-224e-08d6cd6f9a61 X-MS-Exchange-CrossTenant-originalarrivaltime: 30 Apr 2019 13:27:37.2271 (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-Transport-CrossTenantHeadersStamped: MRXSPR01MB3 Subject: Re: [Caml-list] Function that outputs a functor Reply-To: =?utf-8?B?Tmljb2zDoXMgT2plZGEgQsOkcg==?= X-Loop: caml-list@inria.fr X-Sequence: 17527 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: SGkgTWlndWVsLA0KDQpPbiBUdWUsIEFwciAzMCwgMjAxOSBhdCAzOjExIFBNIE1pZ3VlbCBBbWJy b25hIDxtaWd1ZWwuYW1icm9uYUBpbWRlYS5vcmc+IHdyb3RlOg0KPg0KPiBEZWFyIGNhbWwtaGFj a2VycywNCj4NCj4gSXMgdGhlcmUgYSB3YXkgb2Ygd3JpdGluZyBhIGZ1bmN0aW9uIHRoYXQgcmV0 dXJucyBhIGZ1bmN0b3I/DQoNClllcywgeW91IGNhbiBkbyB0aGlzIGFsb25nIHRoZSBzYW1lIGxp bmVzIG9mIHlvdXIgZXhhbXBsZToNCg0KYGBgDQojIG1vZHVsZSB0eXBlIFggPSBzaWcgdmFsIG0g OiBpbnQgZW5kOzsNCm1vZHVsZSB0eXBlIFggPSBzaWcgdmFsIG0gOiBpbnQgZW5kDQojIG1vZHVs ZSB0eXBlIFUgPSBmdW5jdG9yIChYIDogWCkgLT4gc2lnIHZhbCB0b3RhbDogaW50IGVuZDs7DQpt b2R1bGUgdHlwZSBVID0gZnVuY3RvciAoWCA6IFgpIC0+IHNpZyB2YWwgdG90YWwgOiBpbnQgZW5k DQojIGxldCBtYWtlIChuIDogaW50KSA9IChtb2R1bGUgKGZ1bmN0b3IgKFggOiBYKSAtPiBzdHJ1 Y3QgbGV0IHRvdGFsID0NCm4gKyBYLm0gZW5kKSA6IFUpOzsNCnZhbCBtYWtlIDogaW50IC0+ICht b2R1bGUgVSkgPSA8ZnVuPg0KYGBgDQoNCllvdSBjYW4gdGhlbiB1c2UgeW91ciBmdW5jdGlvbiBh cyBmb2xsb3dzOg0KDQpgYGANCiMgbGV0IG1vZHVsZSBVID0gKHZhbCAobWFrZSA3KSA6IFUpIGlu IGxldCBtb2R1bGUgVSA9IFUgKHN0cnVjdCBsZXQgbQ0KPSAxMiBlbmQpIGluIFUudG90YWw7Ow0K LSA6IGludCA9IDE5DQpgYGANCg0KQ2hlZXJzIQ0KLS0NCk5pY29sw6FzIE9KRURBIELDhFINCm5p Y29sYXMub2plZGEuYmFyQGxleGlmaS5jb20NCmh0dHBzOi8vd3d3LmxleGlmaS5jb20NCg0KDQo+ IEZvciBleGFtcGxlLCB0aGUgZm9sbG93aW5nIGZ1bmN0aW9uIHRha2VzIGFuIGludGVnZXIgYW5k IHJldHVybnMgYSBtb2R1bGU6DQo+DQo+IGBgbGV0IG1ha2UgKG4gOiBpbnQpID0gKG1vZHVsZSBz dHJ1Y3QgYmxhYmxhYmxhIGVuZCA6IE15TW9kdWxlKScnDQo+DQo+IENhbiBJIGRvIHRoZSBzYW1l IHdpdGggYSBmdW5jdG9yIGFzIG91dHB1dCBpbnN0ZWFkIG9mIGEgbW9kdWxlPyBPZg0KPiBjb3Vy c2UsIHRoZSBpbXBsZW1lbnRhdGlvbiBtYXkgdXNlIHRoZSBpbnRlZ2VyICJuIi4NCj4NCj4gVGhh bmtzIGEgbG90IQ0KPg0KPiBCZXN0LA0KPg0KPiBNaWd1ZWwNCj4NCj4NCj4NCg==