From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.23 via Mailbox Transport; Fri, 12 May 2023 15:20:51 +0100 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.23; Fri, 12 May 2023 15:20:51 +0100 Received: from exchange.romulus.metastack.com (172.16.0.21) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_0, cipher=TLS_RSA_WITH_AES_256_CBC_SHA) id 15.1.2507.23 via Frontend Transport; Fri, 12 May 2023 15:20:51 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 34CEK5Yn023204 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Fri, 12 May 2023 15:20:05 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 34CEJvV3023186 for ; Fri, 12 May 2023 15:19:58 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 12 May 2023 16:19:52 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 81DB5E0D5E; Fri, 12 May 2023 16:19:50 +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 7EECCE0D49 for ; Fri, 12 May 2023 16:19:45 +0200 (CEST) Received: from mail-pj1-f41.google.com ([209.85.216.41]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 12 May 2023 16:19:44 +0200 Received: by mail-pj1-f41.google.com with SMTP id 98e67ed59e1d1-24dfcb8eb44so1669102a91.1; Fri, 12 May 2023 07:19:43 -0700 (PDT) From: Laurent Vibert To: Frederic Fort CC: "caml-list@inria.fr" Subject: Re: [Caml-list] Specifying the closure of an open polymorphic variant inside a module signature Thread-Topic: [Caml-list] Specifying the closure of an open polymorphic variant inside a module signature Thread-Index: k8CDROdB443MFkNoPHOANZA4CiLharIDHuIA Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Fri, 12 May 2023 15:19:14 +0100 Message-ID: References: <120259246.5939759.1683884929801.JavaMail.zimbra@inria.fr> Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: In-Reply-To: <120259246.5939759.1683884929801.JavaMail.zimbra@inria.fr> Reply-To: Laurent Vibert Content-Language: en-GB X-MS-Exchange-Organization-AuthAs: Anonymous X-MS-Exchange-Organization-AuthSource: Hermes.metastack.local X-MS-Has-Attach: X-Auto-Response-Suppress: All X-MS-Exchange-Organization-Network-Message-Id: 9787ad02-a132-46c9-fab9-08db52f416c0 X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 x-scanned-by: MIMEDefang 2.65 on 62.31.23.242 x-received: by 2002:a17:90b:3882:b0:252:b875:6a57 with SMTP id mu2-20020a17090b388200b00252b8756a57mr2101856pjb.3.1683901181650; Fri, 12 May 2023 07:19:41 -0700 (PDT) received-spf: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only x-ironport-av: E=Sophos;i="5.99,269,1677538800"; d="scan'208,217";a="55898115" x-ironport-anti-spam-filtered: true x-loop: caml-list@inria.fr x-no-archive: yes Content-Type: text/html; charset="utf-8" Content-ID: <5CF72B94300C5044B621A47F566AD0F9@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVhZD4NCjxib2R5Pg0KPGRpdiBkaXI9Imx0 ciI+DQo8ZGl2PlRoaXMgaXMgYSBjbGFzc2ljYWwgdXNlY2FzZSBmb3IgcHJpdmF0ZSByb3cgdHlw ZXMgOjxicj4NCjwvZGl2Pg0KPGRpdj48YSBocmVmPSJodHRwczovL3YyLm9jYW1sLm9yZy9yZWxl YXNlcy81LjAvaHRtbG1hbi9wcml2YXRldHlwZXMuaHRtbCNzczpwcml2YXRlLXJvd3MiPmh0dHBz Oi8vdjIub2NhbWwub3JnL3JlbGVhc2VzLzUuMC9odG1sbWFuL3ByaXZhdGV0eXBlcy5odG1sI3Nz OnByaXZhdGUtcm93czwvYT48L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8ZGl2Pjxicj4NCjwv ZGl2Pg0KPGRpdj5tb2R1bGUgdHlwZSBUX1NVQlRZUEUgPTxicj4NCnNpZzxicj4NCiZuYnNwOyB0 eXBlIHRfZnVsbCA9IFsgYEEgb2YgaW50IHwgYEIgb2Ygc3RyaW5nIHwgYEMgb2YgaW50KmludCB8 IGBEIF08YnI+DQombmJzcDsgdHlwZSB0ID0gcHJpdmF0ZSBbJmx0OyB0X2Z1bGxdPGJyPg0KZW5k PC9kaXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj5tb2R1bGUgT3BzT25UU3VidHlwZSAoVDog VF9TVUJUWVBFKSA9PGJyPg0Kc3RydWN0PGJyPg0KJm5ic3A7IHR5cGUgdCA9IFQudDxicj4NCjxi cj4NCiZuYnNwOyBsZXQgZiA6IHQgJm5ic3A7LSZndDsgaW50ID0gZnVuY3Rpb248YnI+DQombmJz cDsmbmJzcDsmbmJzcDsgfCBgQSBpIC0mZ3Q7IGk8YnI+DQombmJzcDsmbmJzcDsmbmJzcDsgfCBg QiBzIC0mZ3Q7IFN0cmluZy5sZW5ndGggczxicj4NCiZuYnNwOyZuYnNwOyZuYnNwOyB8IGBDIChs LHIpIC0mZ3Q7IGwgJiM0Mzsgcjxicj4NCiZuYnNwOyZuYnNwOyZuYnNwOyB8IGBEIC0mZ3Q7IDA8 YnI+DQplbmQ8L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8L2Rpdj4NCjxicj4NCjxkaXYgY2xh c3M9ImdtYWlsX3F1b3RlIj4NCjxkaXYgZGlyPSJsdHIiIGNsYXNzPSJnbWFpbF9hdHRyIj5MZSZu YnNwO3Zlbi4gMTIgbWFpIDIwMjMgw6AmbmJzcDsxMTo0OSwgRnJlZGVyaWMgRm9ydCAmbHQ7PGEg aHJlZj0ibWFpbHRvOmZyZWRlcmljLmZvcnRAaW5yaWEuZnIiPmZyZWRlcmljLmZvcnRAaW5yaWEu ZnI8L2E+Jmd0OyBhIMOpY3JpdCZuYnNwOzo8YnI+DQo8L2Rpdj4NCjxibG9ja3F1b3RlIGNsYXNz PSJnbWFpbF9xdW90ZSIgc3R5bGU9Im1hcmdpbjowcHggMHB4IDBweCAwLjhleDtib3JkZXItbGVm dDoxcHggc29saWQgcmdiKDIwNCwyMDQsMjA0KTtwYWRkaW5nLWxlZnQ6MWV4Ij4NCjxkaXY+DQo8 ZGl2IHN0eWxlPSJmb250LWZhbWlseTphcmlhbCxoZWx2ZXRpY2Esc2Fucy1zZXJpZjtmb250LXNp emU6MTJwdDtjb2xvcjpyZ2IoMCwwLDApIj4NCjxkaXY+SGVsbG8sPGJyPg0KPC9kaXY+DQo8ZGl2 Pjxicj4NCjwvZGl2Pg0KPGRpdj5JIHdhbnQgdG8gZGVmaW5lIGEgZnVuY3RvciB0aGF0IGRlZmlu ZXMgYSB0eXBlIHQgYW5kIGZ1bmN0aW9ucyBvbiB0aGF0IHR5cGUgc3VjaCB0aGF0IHQgaXMgYSBz dWJ0eXBlIG9mIGEgcG9seW1vcnBoaWMgdmFyaWFudCB0eXBlLjxicj4NCjwvZGl2Pg0KPGRpdj48 YnI+DQo8L2Rpdj4NCjxkaXY+Rm9yIGluc3RhbmNlLCBpZiB3ZSBoYXZlIGEgdHlwZSA8YnI+DQo8 L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8cHJlPnR5cGUgdF9mdWxsID0gWyBgQSBvZiBpbnQg fCBgQiBvZiBzdHJpbmcgfCBgQyBvZiBpbnQqaW50IHwgYEQgXTxicj48L3ByZT4NCjxkaXY+PGJy Pg0KPC9kaXY+DQo8ZGl2Pkkgd2FudCB0byBiZSBhYmxlIHRvIGRlZmluZSBhIGZ1bmN0b3Igc2lt aWxhciB0byB0aGlzPGJyPg0KPC9kaXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPHByZT5tb2R1bGUg dHlwZSBUX1NVQlRZUEUgPTxicj5zaWc8YnI+PGJyPiAgdHlwZSB0X2Z1bGwgPSBbIGBBIG9mIGlu dCB8IGBCIG9mIHN0cmluZyB8IGBDIG9mIGludCppbnQgfCBgRCBdPGJyPjxicj4gIHR5cGUgdCA9 IFsmbHQ7IHRfZnVsbCBdICgqIE5vdCBhY2NlcHRlZCBieSBPQ2FtbCAqKTxicj5lbmQ8YnI+PGJy Pm1vZHVsZSBPcHNPblRTdWJ0eXBlIChUOiBUX1NVQlRZUEUpID08YnI+c3RydWN0PGJyPnR5cGUg dCA9IFQudDxicj48YnI+bGV0IGYgOiBbJmd0OyB0IF0gLSZndDsgaW50ID08YnI+ZnVuY3Rpb248 YnI+fCBgQSBpIC0mZ3Q7IGk8YnI+fCBgQiBzIC0mZ3Q7IFN0cmluZy5sZW5ndGggczxicj58IGBD IChsLHIpIC0mZ3Q7IGwgJiM0Mzsgcjxicj58IGBEIC0mZ3Q7IDA8YnI+ZW5kPC9wcmU+DQo8ZGl2 Pkhvd2V2ZXIsIEkgZG9u4oCZdCBrbm93IGhvdyB0byBkZWZpbmUgdGhlIG1vZHVsZSBzaWduYXR1 cmUgVF9TVUJUWVBFLjxicj4NCjwvZGl2Pg0KPGRpdj5JcyB0aGlzIHBvc3NpYmxlIGluIE9DYW1s ID88YnI+DQo8L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8ZGl2PlRoYW5rcyBpbiBhZHZhbmNl LDxicj4NCjwvZGl2Pg0KPGRpdj5GcsOpZMOpcmljPGJyPg0KPC9kaXY+DQo8L2Rpdj4NCjwvZGl2 Pg0KPC9ibG9ja3F1b3RlPg0KPC9kaXY+DQo8L2JvZHk+DQo8L2h0bWw+DQo=