From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Authentication-Results: plum.tunbury.org; dkim=pass (1024-bit key; unprotected) header.d=inria.fr header.i=@inria.fr header.a=rsa-sha256 header.s=dc header.b=lLnYe+uW; dkim=fail reason="signature verification failed" (2048-bit key; unprotected) header.d=gmail.com header.i=@gmail.com header.a=rsa-sha256 header.s=20230601 header.b=kife5ggQ; dkim-atps=neutral Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver=tunbury.org Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) (using TLSv1.2 with cipher ECDHE-ECDSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id 1E3AC40016 for ; Wed, 23 Apr 2025 15:34:02 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:references:in-reply-to:from:date:message-id: to:cc:subject:reply-to:sender:list-id:list-help: list-subscribe:list-unsubscribe:list-post:list-owner: list-archive; bh=1UFFLiJ/C+mV//943SEfoA4rpMmdQcAzJ/GYTXFypJ0=; b=lLnYe+uWghjEBvSXM1alxjXJnQfcSUN/qN9Q0Xy3+lQxT57Y2EAIs/V8 iIFy7avAiiJa8mJHe6P+FFAOOPKTSpBHV9YLwV2uK0Wzf5jaru0q13xfk VVC2ae7y0kpbFU5kercT22UE/QPjkKBmZZNdky5L/vDZJSVx9wkSJl1Gy 0=; Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr designates 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 include:mailout.safebrands.com a:basic-mail.safebrands.com a:basic-mail01.safebrands.com a:basic-mail02.safebrands.com ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:128.93.162.3 ip4:128.93.162.88 ip4:89.107.174.7 mx ~all" 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 Authentication-Results: mail2-relais-roc.national.inria.fr; spf=Pass smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=hardfail (signature did not verify [final]) header.i=@gmail.com X-IronPort-AV: E=Sophos;i="6.15,233,1739833200"; d="scan'208";a="219143482" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 23 Apr 2025 17:34:02 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 286EFE0D1D; Wed, 23 Apr 2025 17:34:02 +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 E1127E007A for ; Wed, 23 Apr 2025 17:33:57 +0200 (CEST) IronPort-SDR: 68090865_dtnZd7k9nEOA1UZ/ttk97zUMzX0qtc3CGVhgn3niCJE0tvP EwsvIMvtiKuna8VhvTfoaSoyWiJn80rZv0XEdlQ== X-IPAS-Result: =?us-ascii?q?A0EpAgBBBwlofCreVdFagQmBU4JEgVY0BAtIhFWPUIIki?= =?us-ascii?q?3aHU4pKgUA+DwEDAQ1EBAEBAwSFAAKLLQIeBwEEMQgOAQIEAQEBAQMCAwEBA?= =?us-ascii?q?QEBARABAQUBAQECAQECBAYBAhABASIZBw4SKYV7DYJiAYEkYQIFAzsBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEFAixfAQEBAxIRBBkBG?= =?us-ascii?q?x0BAwwGBQsDCgICJgICIQERAQUBHAYTIoUQAQMxA6UXgQVCiz5/FgUCFoEBg?= =?us-ascii?q?g0G2l0KGSgNb4FiAgcUgQcuhHYpXIJVAYFth3x6JxuCDYFKVIIJGD6IHoJpB?= =?us-ascii?q?IItgReeOggBBhcDBwcJBQQJEwYFBQJCCQYFChIDBAMEBAECCxMJAwMCDgIIA?= =?us-ascii?q?wIIBhkBPxIEEwoNCwcFHwoIDBEKKCIEDisKAQIBWjQBCAYCAgQEAgQCCgIJA?= =?us-ascii?q?gIFBwIRAwQBAQgCAgMrBQEDGQgJCAINBQ8IAgMDAwMMAgIDAwIOAQICDAgDA?= =?us-ascii?q?wkCBgoJAQIKCAkQAQICEAMCAgICBgcKAwITDAUGBgIKBw0LAhICAwkGAwUKA?= =?us-ascii?q?wcECg0CFQIVBSACCAkOEQIFEgMOBQMCAhEEAgMDBQMBBwEVCAgMAgICAgUCB?= =?us-ascii?q?QIYEQ0EAwMDAggBBBUGAwkIJRsKAQMBCQMCAwQIAwMDAgYMCwIBBwgDAwYLC?= =?us-ascii?q?AkGAwIHCBkDBQQDBwULIQIGAwIEBQQBBQITDQIDGQIGAwYRCQ0GCAcJAwcBA?= =?us-ascii?q?QECAgIIAQYFEgIDBAIFBAQBAQgDAwQGAgEDAgIECQEBAQIKAggKAQkTBAMIA?= =?us-ascii?q?wMDAwMFAgIKEQUFAgEFChMMCgYDBgMEAgICCgEHAgMDAwcBCxMJAgEDAgIFA?= =?us-ascii?q?gIBBQMCAgYEAwIBAQkCAwIIAQICAQICAgQBBwEEBwYBAQIEAgIyAgEDCAIFA?= =?us-ascii?q?QEOAgIEAgIBAgICBAIEAQIGCwQFDQEBAgECAgEBAQQBCAMBAQICAwMFAwUID?= =?us-ascii?q?w0BARcLHQMEBQICAQEBAQISAgIBBwECAQEDGgIBAwMEAQsCAQEEHgQWAgICA?= =?us-ascii?q?gIEAwIDAgILEyUBAgMGEwIEAgECAgUFBQEDBBEQCQMCBQQCAgYCBAYKAgcEA?= =?us-ascii?q?hoEAgICAQMEBgMBAggCAgcEBAYDAgIBAgIHGQIZAQMBAQICAgQCAgIJCgQFB?= =?us-ascii?q?AQEAwICAgEMAwECAwICAgIBAwICAQEDAQUGDQISAgEDDwgEAgIHAgIhDwsBA?= =?us-ascii?q?gEBBgYCAwMDCgMBCgECAQECBgIBAhIFAgIBAgQBAgIDBCUBAgECAQEBBQIBA?= =?us-ascii?q?gECBAIHAgECAgMIAQUCBgECAgkBAgECAgIBAgEBAgYCAREEAQICAgICAwEDB?= =?us-ascii?q?gICAgICAgkCAgICBQIFAwIDAQYCAgUCAwMCAgMEAwkDAwgDBgQCAwEBAQIBA?= =?us-ascii?q?gICAQIBAgUCAwkBAQMCAQICAgIDBgIFBQEDCwUEBwEBAgEDBQMDBAMGAQwEA?= =?us-ascii?q?wICBAICAgICAgQCAgEFAwMCAgUBBQMIAQIEAgEDAwMEBAMBAgIKBwUCBAEBA?= =?us-ascii?q?QECAQICCgMCBQEBAwMBEgMEAQYFBQYCBwkDAgIEAgMCBAMFBAQCBgMDAgICA?= =?us-ascii?q?QELAgIBAgIBAQMDBwYQAQICAgIBDwIDAwMDAw8GAwUJAQMHAQEBAQECFAMCA?= =?us-ascii?q?QQBBh0CCQMjDwMLCQgTPQELBzIENgEUFAcrIV+VYoM5gn+UTbM5aIM9hHCcc?= =?us-ascii?q?zOqV5h+qSQRIxKBNAI2gVwzGggbFTsxgjZPAxkPkiHBb0YyPAIHCwEBAwmQH?= =?us-ascii?q?IFLAQE?= IronPort-PHdr: A9a23:TLu5CxERhoTmj0Xgt6ypJJ1Gf+VGhN3EVzX9CrIZgr5DOp6u447ld BSGo6k21hmRBc6Bt6wV1qL/iOPJZy8p2dW7jDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTezf79+N gm6oRneusUIjoZvK6I8xxvUqXZUZupawn9lKl2Ukxvg/Mm8+4Jt/TpNsPw77c5AVqv6f6U8T bNGCTktLn446s72uxTdVAWD/nQTXHkYnRpOGAjF8Qr1XoztvSvgt+pywzeVMMvrRr0pQzui7 qNrSBj1iCcbMjMy7W/ahtBsgK9dvRmsvAJ0zZLKb46JNfp+ZqLdcs0cRWpdRcZaSihNDpqhY 4cTE+YNOOBVpJT/qVQTtxuzHQajBO3txTFIiHH43rA03fo/HA7axwEgA84CvW7IoNnpKKsfU +a4x7TIwzXZaPNW3C/w5ozWfRA7v/6MWLJxetfTxkY1EwPFilKQqZT4ND6S1uUCqWyb7+5nV eK3kGMnpARxrSKuxscokIXGmoUVylXd+Ch/3Y06KsG2RlRhbt64DJtfqTuaN41uT88+TW9lp Sk0xLMJt5OncyUHy5YqywPQZfGac4WE/g7vWeaNLTtmhH9oZryxiwiu/ES+yODxUse63UhXo idFndfBsG0G2R/L6sWfVPdx4kOs1SyM2g3T8O1IP144mbTBJ5Mu3LI9kIcYvFrHHi/rg0X2k LGZdl859Oip6uXofK3rqoOaOoRpkA/xKL4ulda6AekgMggBQWyb+eOk2b3m50L5QbFKguQrk qbDrZzWPMobq6GnDwNP3YYj7BG/Dzii0NsGh3UIMFVFeBefg4joPVHBPuz4AO+hj1iwlDpn3 fPLM737DpnTMHTPjq3tcLlj50JEzQo819Ff55ZaCrEbJ/LzX1f8tdzCAR89Nwy0xP7nBc5y1 oMbQ22PA6uZPLnOvl+P4+IjO++Ma5QNtzbnN/cl/+LujWM+mVIFY6WlxYEXZ2ygHvR6P0WZZ mLhgtkZEWcNogo+UO3qh0OYUTNIZneyXqc86SohCI28F4vDR4atgKaA3CihBJFWaHpGBkiWE Xj0b4WER+sMaCWKL8B9iDMEULyhR5Yl1RGvrw/616FqLvHU+y0drZLszsJ55+zVlREo9Dx7F d6R02+XTzI8omRdZiE/2uhQplB61FyD0LRjy6hZC9N75v5EX0E9L5GKnMJgDNWneA/bc9KYA GevRtGhGXllX9s1x9gWS0l4EtSmyBvE2nz5UPcui7WXCclsoern1H/rKpM4ki6evEFAp1wvQ 88UcHajmrY67A/LQYjAj0Seka+uM6Uaxi/EsmmZniKVpE8Ndgl2XO3eWGwHIFPMpIHo70fGS KeGBrEuMw8HwsmHeeNRctO8tVxdX7/4PcjGJWe4mmO+HxGNk6KFaI7tY00S2SzcDA4PlAVAt W2eO10YASGs63nbECQoFV/rZBb09vJirXqgUkIu5wSDbkkkyrPsvxBJ37qTTPQc2r9CsyAkw 9ltNHC62d+eS9+Jpg46Ob5Zfct4+1Bfk2TQqw16OJWkaaFknF8XNQpt7Qvo0F1sB4NMnNJPz jtixRduKa+ezFJKdi+JlZH2NLrNL2Du/RepI6fI01Da2dyS9+8B8vM941nkuQioEAIl/RAFm 5FE2n+Y4Y3iAw8bUJa3WUEytlB7q7zcfigh9tbMz3Q/eaKwszLEx5coHL5/kkfmL4oZavneU lOoQKh4T4C0JecnmkakdEcBNeFWr+svOt++MuCBwOitNfphmzSviSJG5pp82wSC7XkZKKaA0 pAbzvWfxgbCWS37iQLro8nznYdcTT4XF2u7jyPjAcQCA886NZZOEmqoL8Ctk59vjprpXGZw+ 1uqBldA08isM0nafxn22gte0l4SqHqslH6jzjB6pDouq7KWwC3Ex+mKmAMvAmdQXyEiiF7tJ dPxlNUGRA2zaBBvkhK55EH8zqwdpaJlLmCVT10aNyTxKmhjVOO3uN/gK4Ze4Zcstj1/X+G1Y FTcQbn46xcXyCLsGWJCyStzLWn7/MWk2UYg0iTBdj56tzLBdNt1xAvD6dC5J7YZxTcASCRiy HHWClW6I9i17ICRnpbHvPq5UjHpXZlSfC/3iIKY4XHjtCs6XFvlxar1xoe0dGpymTX23NRrS yjS+RP1Y42wkr+/LfoiZU5wQln198t9HIh61Io2npAZn3YA1fD3tTIKl3n+NdJD1Ofwdn0IE HQaytrR5xDN10hqL3bPzIX8HCb4oIMpd5yhb2Ua1zhopdFDDKOT9JRLmCJ0phyzqgebMrBt2 zwaz/Up8nsTheoE7REswiuqCbcXBUBEPCbomkftjZj2vOBNaW2oa7T1yFtmkIXrEuSZug8FE iWxatI4ECR39Mk6LF/czCi59NT/YNeJCLBb/hyMz0Wb0q4Mecp3zKZVw3IgYz61vGV5mbBny 0Y1htfj4tDBcyI0req4GkIKaGOzPptJvGmr1eEExqP0l8iuBskzRGtNBse5C6LwVmpV76yvN h7SQmJm7C7HX+OOR0nHrx4253PXT8L0azfOfiRflZM6A0DDQS4XyAEMAGdjxs5/T1/1gpynK AAjv3gQ/gKq80QXjLs5a1+nFD+Y/Vngay9oGsLHfVwGs0cbvReTaYvHsYcRV2lZ5sHz9lXTb DHLIV0ZVydRHRXVT1H7Yuv0vIeGqbPJQLHkaaOJOOTGv+VaU73gKYuH9Ixg8n7MM8yOOiInF Pgnwg9YWmg/Hc3FmjIJQihRliTXbsfdqg3usitw5tuy9vjmQmeNrcOGFqdSPNNz+hu3nbbLN uiegzx8ICpZ0ZVEzGHBybwW1lofwy90cDzlHbMFvC/LBKXe/80fRwYccD92PdBU4rgU2wBMP YvGg4qw2OIiyPEyDFhBWBrqncToLc0GLmehNU/WUUaGMLPVQF+Di8rzYK66VfhRlLAO70z26 WvdSRW5eGjZxFyLH1i1POpBjT+WJklbsYC5KVN2DHT7Ccnhclu9OcN2ijs/xfs1gGnLPCgSK 2sZEQsFo7uO4Cdfmvg6FXZG6y8vPOCAnyGBx+bdI5cS9/BsB24n8oASqGR/0LZT4CxeEbZtn zDOq9d1v1y8uuyGyz4iTRMX7zgX3sSEukJtPaif/Z5FEyWhnlpF/SCbDBIEoMFgA9vktvVLy 9TBo6n0LS9L79Pe+cZ07y38J8eOMX5nOh3sSma85OotSDeqMSTCjhUYnq3IsHKSqZc+p97nn 59cEtezu3Q6E/obDgJuG9lQef9K IronPort-Data: A9a23:z7RecKNEe9yVZaXvrR0dk8FynXyQoLVcMsEvi/4bfWQNrUom1GZRy DYeCGyAP66DZjT1ftFyPImz9kIBvpaHy4QxTHM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYQLNNwJcaDpOtvrf8kg35ZwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGXYdGrFhOQ3T30MLJYEwelNDkgRy bsHfWVlghCr34pawZq+Q+how9kqdYzlYNlZtXZnwjXUS/0hRPgvQY2QvY4ejGp23JoUW6qED yYaQWIHgBDochRLPlAPIJ07leaswHL4dlW0rXrM/PdvuzCKkFUZPL7FNOLwf+ynX/lsoHmi5 UPPwTTfHAs4K4nKodaC2inx37eQzH2TtJgpPLOg8eJ2gVCJ7n4SDRcMXB26p+O4gwiwQbp3I EUR/m8qrLMu3Fe6S8H0GRy+un+N+BAGM+e8CMU/4QCJj7fdukOXWjJCQTlGZ9gr8sQxQFTGy 2Nlgfv3Ai1G96zMCk6n56yIljyINgFKESgdMHpsoRQ+3/Hvp4Q6jxTqR9llEbKogtCdJd0W6 2DaxMTZr+VD5fPnx5mGEUb7byVAT6UloyYw7wTTG3+st0Z3ONTjaIuv5lzWq/1HKe51r2VtX lBUy6ByD8hXUvlhcRBhps1TRNlFAN7baFXhbaZHRcVJythU0yfLkXpsyD9/Plx1Fc0PZCXkZ kTe0SsIu8MOZyf0Mv8sOt/gYyjP8UQGPYS1PhwzRooeCqWdiCfbpEmCmGbJjzCyyBd8zcnTx 7/BIJbwVCxy5VtbIMqeHLpEieB6mEjSNEvcQpf0yxnv0LyVIhaopUQtYTOzghQCxPrc+m39q o4BX+PTkkk3eLOkPkH/r9VIRXhUdihTOHwDg5YLHgJ1ClA7QDl5YxIQqJt9E7FYc1N9zbiXr yvgABIIljISRxTvcG23V5yqU5u3Nb4XkJ7xFXVE0Y+AgiB4PdSc/+0EeoEpfLIq0uVmwLQmB 7MGYsiMSLAHADjO5z1XP9G3oZ1AZSabo1uEHxOkRzwjIL9mZQjCoeH/ciXVqSIhMyuQtOkFm YOG6D/1e5Q4ajpHMNf3c9OqllO4gmgckrl9XmzOOdhiR3/v+4lLdQ301/8+HN4QJSru1h+l5 l6zAEoer7OcpYUazcT43/GYjoa2EtlRGlhRMHnb4I2Xawjb3DuH6q1RXNmYeQvyUDvPx5yjQ uFO3dTQAeYhnl1al6ZdSpFFlbkf4fnrrJ9kljVUJm3BNQmXO+kxM0u40tlqnYwT4L1g4C+de F+Fo/teMpW3YPLVKkYbflcZX77SxMMvu2fg6NouKx/H/w5xxr2MVHtSMzSqiCBwKLhUMpsv8 dw+ufw5uhCOtR43Dumo1ixk1XyADnglYZUVsps3BIzKiA1y7npgZZfaKDH94bDRStFqH3QpH ASph/v5t+wB/nbBTns9LmiS/Ox/gZ9VhgtG4mVfLHu0m/3EpMQN4jtvzRoNQD949C53i9BIB jAzNmleB7m/wDNztc0SA0GuA15gATOayGzQynwItmvTcGewXEeQLmdnYeep12Ia+lJ6YTJ00 uy5ymHkcDCyZ+D3/HI4dnBEoszZb+5a11P9iuH+OO+aDbwWXCHDvpa+QUYp9z72HtIXhmDcg OthodZLdqzwMBAPr50BC4W10aoaTDaGLjdgRc5N0bwoH2bOXiObwhmLdl6Mf/1SK8zw8UOXD 9JkIuRNXU+c0AeMtjUqOr4eEYRrnfIG5MswRZ2zHDQo64CglztOtI7c0gPch2VxGtVnrpsbG 7PrLjmHFjSduGtQl2rzt/J7A2ufY+QfRQjCzeuwofQoFZUCjblWSnsM8ICI5lebDAg22Civn lLnR7TXxOlc24hTj9PSMqFcNT6Vd/L3dsq1qT6WjfofQ+/LA8n0syEtlmLGJCVTZLsYZMR2n ++Csfnxx0L0g4w1WGH4xbiEG7V42sGpeO9xLMjMDWJ7mBGaU5TG+Coz+GGfKL1InuhC58Khe RCKVcuoefMRWPZf3HdwaRUCNzo4FILMcf7GiQ6mivaDGDwx8FbiF8y2023tYUVwVD46C7enB iDa4/+Rt81l9qJSDxo6NtRaKp5fInq4fIA5dtf05AKqPkPxjnys4rLdxAcdsxfVAXy5EeH/0 5LPZj76UD+Q4Kjo7tVog7Zejy0tLkRWoLcPJxoG2ttMlTqFInYMLr0dPbU4G5hkqHHO+6+iV g7dTlkJKHvbZitFQyXe8d64fwa4B84yAPnbCAEt3Xupb3aRONvdLppnrytu2iIjMH+rhuSqM soX9XDMLwC8iMMhD/oa4vugx/xr3LXGz3YP4lrwiNH2Hw1YO7gRyXh9B0BYYEQryS0WeJnjf gDZhFyoQX1XjWb0GMdkPmNcQVQX4GmpwDIvYiOCht3Yvu13CQGGJOLXY4nOPn8rNazm54Lig Vv4QmKM5yad3Xl7VW4BpYcymaEtYR6UNpHSEUIgLDH+W4m/720mO4UJmi9noATOPuJAOwu1q wRAKETSyKhIxI69FVFWJcg0F0pNb08x IronPort-HdrOrdr: A9a23:CwOqNKGqYRiB21wtpLqEEseALOsnbusQ8zAXPo5KOGZom62j5r 2TdZEgvyMc5wxhP03I9erwXJVoBEmskKKdgrNhXotKPjOWwVdARbsKheDfKn/bak/DH4VmpN 9dmsZFeabNJGk/osDg/gGiHtoshPWB+ru5nPrTwh5WIT1CWuVP60NXBg6HDlZ7XmB9dPwEPa vZyM4CiTTIQxoqhweAaUXtndKvmzQGrvPbiNc9ZyIa1A== X-Talos-CUID: 9a23:2dUfcW/LQ9TgjVF1UJCVv1ATC+liYySe8E3BOFODBlxmYeKpDkDFrQ== X-Talos-MUID: 9a23:yJYLMwn/n2iB8wSchUcEdnpmDOJt04m0NHkzrq9FmsC6ZQpuIRWC2WE= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.15,233,1739833200"; d="scan'208";a="115000141" X-MGA-submission: =?us-ascii?q?MDEQC5T1sV6Uc5FcLeL6Od4xACVZ5747m5AON8?= =?us-ascii?q?+kVaZZtVTOlZyiCCUujtXRRjfsyqpcam0xXA4M1UjCbVcMGjt9WoGxfS?= =?us-ascii?q?hRRS+DPrfTFQi06PRSywyMg316HTpgZY0jf29UdZl/1zKoyqibydivZh?= =?us-ascii?q?8gZ9gZrw3DxkHIhUl2/rbd7w=3D=3D?= Received: from mail-ua1-f42.google.com ([209.85.222.42]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 23 Apr 2025 17:33:57 +0200 Received: by mail-ua1-f42.google.com with SMTP id a1e0cc1a2514c-871ac66dcb6so2479241.2; Wed, 23 Apr 2025 08:33:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1745422435; x=1746027235; darn=inria.fr; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=1UFFLiJ/C+mV//943SEfoA4rpMmdQcAzJ/GYTXFypJ0=; b=kife5ggQ2Ywm3yqQ17SmRJAjHahqfOO6zp6a6BHLgfROgr6C4V67wgbmCJnIkG23vE M2y5r1sLVNtOAzbJlFWhAjQPmSc75nEYG4KnXGhE8RdZbXuNy7WUGZyqCsl3deYkPNaq /VEH2Lepa5InniauX58sL7IAjH1KqhGCcIbvczILRey9Rf/rTRtO3dilIvPNgXJS4Dle kCaqpVNeIH5T1+hVdBoeq2PVBiiwYwy2uwDLkXfgdqhWXVctc0pWOk4dxlFyR2Eni4a1 rRjMfS6RwhH1j2MN8dMzmKsupTzJKeNUGQT1oM+xCIqigkn6ZtQC3RDOl+/UW4E2nshM HzeA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1745422435; x=1746027235; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=1UFFLiJ/C+mV//943SEfoA4rpMmdQcAzJ/GYTXFypJ0=; b=KgboFcEHVYY6w1Obf44zNqI8Oxkht6BbaJi5FipfzFhRUxQ34gjObNz7VFBij4bXPE GcpeZu9b+ORNpdjR4RJ333vSp6oavtK2U+TPKcz6VxjSomHPwFA3Xxh4Da/MImphQQFa hJQG5i89GHdk0XChYa+Ec2cnXTuuwvnRiJlZui2BT6Qe5NAO4I1y99iCNKzAAS1uyUMi RL9jQnPUBAiXvGtx/e9Nqs4COn3DTUOKKB/qWJIeUF55PTVhTPlmJbhanqRXwnz7mOoi AsxDjLCEENGeho8YxeERHSmadSwR5J7eGPAhu75vC6CZc0/MHdGaFBI6EsYh3rGUA31f O7sQ== X-Forwarded-Encrypted: i=1; AJvYcCXinERHIow0fw1eyjl4/uC3O06x33CcsTQcIuRTlWq9/NkQCrPA2UFTRGYy2G0RUqtVxgEjQJgx1XQ=@inria.fr X-Gm-Message-State: AOJu0YxEnluQdgDR0r7R9A4VD79UbaB4oc9F5SZ6eBQvEHdV7zfHJfjv Er/p8vqT20WEZU3q9g2IqoubGhZObq3Lfkwqy8vewwuxhx7IBKmZsv5FZFbcbP3Y0U7pXKRdRLl JfeCEVk7HTF9H88LTL1QG9QjNfs4= X-Gm-Gg: ASbGnctNZMgvRROA2gn7rl1YKtSiaRiei3HvcGzN1MRlBXc3MEcTCA6yuuYiqALTmM0 +N7a03chT+osNkAKANznNNtH55jV7JtF+uaD/WDP41RnvygrwUDpmN3Vt1Dy1Duyvq3RCuLCTiz vXUh9+hp9b7GsCEAmbeOlF X-Google-Smtp-Source: AGHT+IFY7PALaIpGtOtpAnnH6Df9I4YY56oNUphoDbB2dwZT3ihTTrdBIezHrWYHBJjqPOfB+XVra6FHLvDDNcJD1As= X-Received: by 2002:ac5:c845:0:b0:520:53c4:5718 with SMTP id 71dfb90a1353d-529254c4fd0mr3961075e0c.3.1745422435396; Wed, 23 Apr 2025 08:33:55 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Jeremy Yallop Date: Wed, 23 Apr 2025 15:33:42 +0000 X-Gm-Features: ATxdqUHapB2oWhiOlTSE4bP1lXPEqtsqQ-P2HdjnUbCQncuY4PXvlgvPBhP_qFY Message-ID: To: Ivan Gotovchits Cc: Francois Pottier , Kenichi Asai , caml-list@inria.fr Content-Type: text/plain; charset="UTF-8" Subject: Re: [Caml-list] automatically resolving open? Reply-To: Jeremy Yallop X-Loop: caml-list@inria.fr X-Sequence: 19305 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: On Wed, 23 Apr 2025 at 14:32, Francois Pottier wrote: > open List > module List = struct end > let test = map (fun x -> x + 1) [1; 2; 3] On Wed, 23 Apr 2025 at 14:46, Ivan Gotovchits wrote: > open struct let map f x = f x end > let () = map (fun _ -> ()) 0 We could perhaps add structure-level substitutions to handle these kinds of cases: module L := List module List = struct end let test = L.map (fun x -> x + 1) [1; 2; 3] module M := struct let map f x = f x end let () = M.map (fun _ -> ()) 0 As in signatures, the idea would be that names like 'L' and 'M' bound in this way would be internal-only, and would not appear in the signature.