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, 19 May 2023 16:06:44 +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, 19 May 2023 16:06:44 +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, 19 May 2023 16:06:44 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 34JF5wVu007972 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Fri, 19 May 2023 16:05:58 +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 34JF5pEP007954 for ; Fri, 19 May 2023 16:05:52 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 19 May 2023 17:05:52 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 29978E7319; Fri, 19 May 2023 17:05:51 +0200 (CEST) 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 C4C1EE00A8 for ; Fri, 19 May 2023 17:05:45 +0200 (CEST) Received: from zcs-store3.inria.fr ([128.93.142.30]) by mail2-relais-roc.national.inria.fr with ESMTP; 19 May 2023 17:05:46 +0200 From: Frederic Fort To: Laurent Vibert CC: caml-list Subject: Re: [Caml-list] Specifying the closure of an open polymorphic variant inside a module signature Thread-Topic: Specifying the closure of an open polymorphic variant inside a module signature Thread-Index: AQHZimOGJOvLH3DWxk+kumENu5OjjQ== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Fri, 19 May 2023 16:05:45 +0100 Message-ID: <1630734816.8494577.1684508745489.JavaMail.zimbra@inria.fr> 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: Reply-To: Frederic Fort 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: a4428942-7465-4ddd-0d30-08db587aa8aa X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 x-scanned-by: MIMEDefang 2.65 on 62.31.23.242 x-originating-ip: [88.164.119.54] 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="6.00,177,1681164000"; d="scan'208,217";a="108745096" x-loop: caml-list@inria.fr x-no-archive: yes Content-Type: text/html; charset="utf-8" Content-ID: <22EA47AF3543274ABD4883531A0CEDAE@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVhZD4NCjxib2R5Pg0KPGRpdiBzdHlsZT0i Zm9udC1mYW1pbHk6IGFyaWFsLCBoZWx2ZXRpY2EsIHNhbnMtc2VyaWY7IGZvbnQtc2l6ZTogMTJw dDsgY29sb3I6ICMwMDAwMDAiPg0KPGRpdj5UaGFuayB5b3UuIFRoaXMgZG9lcyBpbmRlZWQgd29y ay48YnIgZGF0YS1tY2UtYm9ndXM9IjEiPg0KPC9kaXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGhy IGlkPSJ6d2NociIgZGF0YS1tYXJrZXI9Il9fRElWSURFUl9fIj4NCjxkaXYgZGF0YS1tYXJrZXI9 Il9fSEVBREVSU19fIj4NCjxibG9ja3F1b3RlIHN0eWxlPSJib3JkZXItbGVmdDoycHggc29saWQg IzEwMTBGRjttYXJnaW4tbGVmdDo1cHg7cGFkZGluZy1sZWZ0OjVweDtjb2xvcjojMDAwO2ZvbnQt d2VpZ2h0Om5vcm1hbDtmb250LXN0eWxlOm5vcm1hbDt0ZXh0LWRlY29yYXRpb246bm9uZTtmb250 LWZhbWlseTpIZWx2ZXRpY2EsQXJpYWwsc2Fucy1zZXJpZjtmb250LXNpemU6MTJwdDsiPg0KPGI+ RGU6IDwvYj4mcXVvdDtMYXVyZW50IFZpYmVydCZxdW90OyAmbHQ7bGF1cmVudC52aWJlcnRAZ21h aWwuY29tJmd0Ozxicj4NCjxiPsOAOiA8L2I+JnF1b3Q7RnJlZGVyaWMgRm9ydCZxdW90OyAmbHQ7 ZnJlZGVyaWMuZm9ydEBpbnJpYS5mciZndDs8YnI+DQo8Yj5DYzogPC9iPiZxdW90O2NhbWwtbGlz dCZxdW90OyAmbHQ7Y2FtbC1saXN0QGlucmlhLmZyJmd0Ozxicj4NCjxiPkVudm95w6k6IDwvYj5W ZW5kcmVkaSAxMiBNYWkgMjAyMyAxNjoxOToxNDxicj4NCjxiPk9iamV0OiA8L2I+UmU6IFtDYW1s LWxpc3RdIFNwZWNpZnlpbmcgdGhlIGNsb3N1cmUgb2YgYW4gb3BlbiBwb2x5bW9ycGhpYyB2YXJp YW50IGluc2lkZSBhIG1vZHVsZSBzaWduYXR1cmU8YnI+DQo8L2Jsb2NrcXVvdGU+DQo8L2Rpdj4N CjxkaXYgZGF0YS1tYXJrZXI9Il9fUVVPVEVEX1RFWFRfXyI+DQo8YmxvY2txdW90ZSBzdHlsZT0i Ym9yZGVyLWxlZnQ6MnB4IHNvbGlkICMxMDEwRkY7bWFyZ2luLWxlZnQ6NXB4O3BhZGRpbmctbGVm dDo1cHg7Y29sb3I6IzAwMDtmb250LXdlaWdodDpub3JtYWw7Zm9udC1zdHlsZTpub3JtYWw7dGV4 dC1kZWNvcmF0aW9uOm5vbmU7Zm9udC1mYW1pbHk6SGVsdmV0aWNhLEFyaWFsLHNhbnMtc2VyaWY7 Zm9udC1zaXplOjEycHQ7Ij4NCjxkaXYgZGlyPSJsdHIiPg0KPGRpdj5UaGlzIGlzIGEgY2xhc3Np Y2FsIHVzZWNhc2UgZm9yIHByaXZhdGUgcm93IHR5cGVzIDo8YnI+DQo8L2Rpdj4NCjxkaXY+PGEg aHJlZj0iaHR0cHM6Ly92Mi5vY2FtbC5vcmcvcmVsZWFzZXMvNS4wL2h0bWxtYW4vcHJpdmF0ZXR5 cGVzLmh0bWwjc3M6cHJpdmF0ZS1yb3dzIiB0YXJnZXQ9Il9ibGFuayIgcmVsPSJub2ZvbGxvdyBu b29wZW5lciBub3JlZmVycmVyIj5odHRwczovL3YyLm9jYW1sLm9yZy9yZWxlYXNlcy81LjAvaHRt bG1hbi9wcml2YXRldHlwZXMuaHRtbCNzczpwcml2YXRlLXJvd3M8L2E+PGJyIGRhdGEtbWNlLWJv Z3VzPSIxIj4NCjwvZGl2Pg0KPGJyPg0KPGJyPg0KPGRpdj5tb2R1bGUgdHlwZSBUX1NVQlRZUEUg PTxicj4NCnNpZzxicj4NCiZuYnNwOyB0eXBlIHRfZnVsbCA9IFsgYEEgb2YgaW50IHwgYEIgb2Yg c3RyaW5nIHwgYEMgb2YgaW50KmludCB8IGBEIF08YnI+DQombmJzcDsgdHlwZSB0ID0gcHJpdmF0 ZSBbJmx0OyB0X2Z1bGxdPGJyPg0KZW5kPC9kaXY+DQo8YnI+DQo8ZGl2Pm1vZHVsZSBPcHNPblRT dWJ0eXBlIChUOiBUX1NVQlRZUEUpID08YnI+DQpzdHJ1Y3Q8YnI+DQombmJzcDsgdHlwZSB0ID0g VC50PGJyPg0KPGJyPg0KJm5ic3A7IGxldCBmIDogdCAmbmJzcDstJmd0OyBpbnQgPSBmdW5jdGlv bjxicj4NCiZuYnNwOyZuYnNwOyZuYnNwOyB8IGBBIGkgLSZndDsgaTxicj4NCiZuYnNwOyZuYnNw OyZuYnNwOyB8IGBCIHMgLSZndDsgU3RyaW5nLmxlbmd0aCBzPGJyPg0KJm5ic3A7Jm5ic3A7Jm5i c3A7IHwgYEMgKGwscikgLSZndDsgbCAmIzQzOyByPGJyPg0KJm5ic3A7Jm5ic3A7Jm5ic3A7IHwg YEQgLSZndDsgMDxicj4NCmVuZDwvZGl2Pg0KPGJyPg0KPC9kaXY+DQo8YnI+DQo8ZGl2IGNsYXNz PSJnbWFpbF9xdW90ZSI+DQo8ZGl2IGRpcj0ibHRyIiBjbGFzcz0iZ21haWxfYXR0ciI+TGUmbmJz cDt2ZW4uIDEyIG1haSAyMDIzIMOgJm5ic3A7MTE6NDksIEZyZWRlcmljIEZvcnQgJmx0OzxhIGhy ZWY9Im1haWx0bzpmcmVkZXJpYy5mb3J0QGlucmlhLmZyIiB0YXJnZXQ9Il9ibGFuayIgcmVsPSJu b2ZvbGxvdyBub29wZW5lciBub3JlZmVycmVyIj5mcmVkZXJpYy5mb3J0QGlucmlhLmZyPC9hPiZn dDsgYSDDqWNyaXQmbmJzcDs6PGJyPg0KPC9kaXY+DQo8YmxvY2txdW90ZSBjbGFzcz0iZ21haWxf cXVvdGUiIHN0eWxlPSJtYXJnaW46MHB4IDBweCAwcHggMC44ZXg7Ym9yZGVyLWxlZnQ6MXB4IHNv bGlkIHJnYiggMjA0ICwgMjA0ICwgMjA0ICk7cGFkZGluZy1sZWZ0OjFleCI+DQo8ZGl2Pg0KPGRp diBzdHlsZT0iZm9udC1mYW1pbHk6J2FyaWFsJyAsICdoZWx2ZXRpY2EnICwgc2Fucy1zZXJpZjtm b250LXNpemU6MTJwdDtjb2xvcjpyZ2IoIDAgLCAwICwgMCApIj4NCjxkaXY+SGVsbG8sPGJyPg0K PC9kaXY+DQo8YnI+DQo8ZGl2Pkkgd2FudCB0byBkZWZpbmUgYSBmdW5jdG9yIHRoYXQgZGVmaW5l cyBhIHR5cGUgdCBhbmQgZnVuY3Rpb25zIG9uIHRoYXQgdHlwZSBzdWNoIHRoYXQgdCBpcyBhIHN1 YnR5cGUgb2YgYSBwb2x5bW9ycGhpYyB2YXJpYW50IHR5cGUuPGJyPg0KPC9kaXY+DQo8YnI+DQo8 ZGl2PkZvciBpbnN0YW5jZSwgaWYgd2UgaGF2ZSBhIHR5cGUgPGJyPg0KPC9kaXY+DQo8YnI+DQo8 cHJlPnR5cGUgdF9mdWxsID0gWyBgQSBvZiBpbnQgfCBgQiBvZiBzdHJpbmcgfCBgQyBvZiBpbnQq aW50IHwgYEQgXTxicj48L3ByZT4NCjxicj4NCjxkaXY+SSB3YW50IHRvIGJlIGFibGUgdG8gZGVm aW5lIGEgZnVuY3RvciBzaW1pbGFyIHRvIHRoaXM8YnI+DQo8L2Rpdj4NCjxicj4NCjxwcmU+bW9k dWxlIHR5cGUgVF9TVUJUWVBFID08YnI+c2lnPGJyPjxicj4gIHR5cGUgdF9mdWxsID0gWyBgQSBv ZiBpbnQgfCBgQiBvZiBzdHJpbmcgfCBgQyBvZiBpbnQqaW50IHwgYEQgXTxicj48YnI+ICB0eXBl IHQgPSBbJmx0OyB0X2Z1bGwgXSAoKiBOb3QgYWNjZXB0ZWQgYnkgT0NhbWwgKik8YnI+ZW5kPGJy Pjxicj5tb2R1bGUgT3BzT25UU3VidHlwZSAoVDogVF9TVUJUWVBFKSA9PGJyPnN0cnVjdDxicj50 eXBlIHQgPSBULnQ8YnI+PGJyPmxldCBmIDogWyZndDsgdCBdIC0mZ3Q7IGludCA9PGJyPmZ1bmN0 aW9uPGJyPnwgYEEgaSAtJmd0OyBpPGJyPnwgYEIgcyAtJmd0OyBTdHJpbmcubGVuZ3RoIHM8YnI+ fCBgQyAobCxyKSAtJmd0OyBsICYjNDM7IHI8YnI+fCBgRCAtJmd0OyAwPGJyPmVuZDwvcHJlPg0K PGRpdj5Ib3dldmVyLCBJIGRvbuKAmXQga25vdyBob3cgdG8gZGVmaW5lIHRoZSBtb2R1bGUgc2ln bmF0dXJlIFRfU1VCVFlQRS48YnI+DQo8L2Rpdj4NCjxkaXY+SXMgdGhpcyBwb3NzaWJsZSBpbiBP Q2FtbCA/PGJyPg0KPC9kaXY+DQo8YnI+DQo8ZGl2PlRoYW5rcyBpbiBhZHZhbmNlLDxicj4NCjwv ZGl2Pg0KPGRpdj5GcsOpZMOpcmljPC9kaXY+DQo8L2Rpdj4NCjwvZGl2Pg0KPC9ibG9ja3F1b3Rl Pg0KPC9kaXY+DQo8YnI+DQo8L2Jsb2NrcXVvdGU+DQo8L2Rpdj4NCjwvZGl2Pg0KPC9ib2R5Pg0K PC9odG1sPg0K