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=WMa8w+Po; 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 5E1D940023 for ; Thu, 28 Aug 2025 05:21:41 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:message-id:references:mime-version: in-reply-to:subject:reply-to:sender:list-id:list-help: list-subscribe:list-unsubscribe:list-post:list-owner: list-archive; bh=AyGd8FItXzK2sxuJpUvBCV58iDJxbUyHxLNwJvPyrEM=; b=WMa8w+PoA/Zmnpa0PjwsxsTBDUXS2yPKnoxX2CNq7R626oNsUSlo0/hU PTlU3nSVEzBquTqdo/4t91WFfibakV9CAxe2iYx1lJftXWjvvAqzl8teB JQ1yQnwr2NvGE7hKGyKXSDtfe7i9FeQHj1wvRiKhiSyqtdcU+WzkDMRjF 0=; X-CSE-ConnectionGUID: qFqbz8pDTH61gfUykGFGZg== X-CSE-MsgGUID: m2Jues5DRk6gCW36JaF9yg== Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=Pass smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr 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 X-IronPort-AV: E=Sophos;i="6.18,217,1751234400"; d="scan'208";a="236412798" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 28 Aug 2025 07:21:42 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id EBF70E0264; Thu, 28 Aug 2025 07:21:40 +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 68DE5E0172 for ; Thu, 28 Aug 2025 07:21:35 +0200 (CEST) X-CSE-ConnectionGUID: +ocDzRiHTKOEPT2rmbkaTw== X-CSE-MsgGUID: 5V+PKY17QQalObM3DUjwpQ== IronPort-SDR: 68afe75e_LG5Wb13dWVNj1tDmsqE0AwdPiC1mEpitc5SvUU2a0V3mXcW NrmN6+G8dkx/rGqrAUJejMA/ZohJgqNhCweSFjA== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0EUAgD35q9odwpAQYVaHAEBAQEBAQcBARIBAQQEAQFAg?= =?us-ascii?q?VOBblKBAVsyBAuXD5xIg1QGCQEDAQsBAUQLAgQBAQMEhQACjCYCHgcBBDQTA?= =?us-ascii?q?QIEAQEBAQMCAwEBAQEBAQEBAQ0BAQUBAQECAQECBAYBAhABQ0mGTw2CW4Esg?= =?us-ascii?q?SYBAQEBAQEBAQEBAQEBAQEBAQEXAg1+AgEDEig5FgtGECMBBQEcBgE0gmGCc?= =?us-ascii?q?gIBARCsfoEFQos8gTSBAd11LVOBKgYUgTWIUAGGJ4Q8QoINgh6CCRg+gmECi?= =?us-ascii?q?CQEgiKBFpsWUngcA1ksARNCExcLBwVnORAYAhkDKjQUHSNLBQMRGR1zDB4KE?= =?us-ascii?q?meEFYQfK0+CG3KBAXRXQINTHgZrDwaBFRlJAgICBQJDPoFvBR8GHxICAwECA?= =?us-ascii?q?jpVECiBHEADC209NwYOG5VfgkEnEoEzO4ERQBuPJAeXBqERhCaEUR+HLpVTM?= =?us-ascii?q?5dSDJMNmQYijWaWCIUGAgoHBxEkgVsjgVwzGggwO4JoTgMZD5IhulQ1PzECB?= =?us-ascii?q?wsBAQMJhUMmE4wigUsBAQ?= IronPort-PHdr: A9a23:ElTHwxU2k9iL/trIBcNPZjQ/CW/V8Kw2XzF92vMcY1JmTK2v8tzYM VDF4r011RmVBt6ds6kP0rqO6v6ocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBJGvFadXHVGgEJ vlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfQV6Kf7oFYHMks+5y/69+4HJYwVPmTGxfa5+I A+5oAjfuMQam5duJ6g+xhfUoXZEZ/layGJ1Ll+Pghjw4du985Fk/ylMofwq6tROUb/9f6Q2T LxYCCopPmUo78D1thfNUBWC6GIEXmsZihRHDBHJ4Q/1UJnsqif1ufZz1yecPc3tULA7Qi+i4 LtxSB/pkygIKTg0+3zKh8NqjaJbpBWhpwFjw4PRfYqYOuZycr/bcNgHQ2dKQ8RfWDFbAo6kY YUBD/QPM/tboYnzqFQBsQaxCgu3CePz1jNFnGP60bEm3+g/FwzNwQwuH8gJsHTRtNj7MbkdU ea0zKbUzTXDbu5d1Cvm6IfScxAqvPaBUqhrccXLyEkiDALFjk6KpYziIzyV1v4Cv3KB4OV8T +6viXYnphh3rzOyycgilpPHiZgJylDY6yp52oA1KMW3RUNmfdOpEJlduiCHOoZyXM4vXmFlt Sg1xLACpJO3YjQHxpolyhPdZfKLbpWE7B3tWeqMLjl0mHxrda+hihi990Wr1+PyVs6x0FlQr ypFlMHBtn8M1xzP6siHV+By8l291jaI0gDe7PxPL0MslafDNpIszLA9moASvEnDBCP7mUr7g LWLekk44uSk9evqbqnoppKZKoN4lhzyP6Etl8ChHOg1MQ0DU3We9Ouh1LDu8lD2TbBRgfEqk qTUtJXXKMsZq6KlHQNY15sv5AqxDzql1tkTgGMJI0hfeB2diojkI1HOL+78Dfe4m1mtnilky OvcMr3gGZXBNH/Dn6vhfbln8UJT0hY8wcpd55JMEr0BIfTzVVHttNHAExM0PQK5z/zmBdh9z I8TWG2CDrWEPK/OqVOI4/ggI+iIZI8bojb9LP0l6ub0gn8ig1AdfLKk3ZoMaHyiGfRpP0WZb mD2jtgbDWgGpAg+TPTyhF2YTTFTf2qyX7475jwjFI2pF4LDRoS0jLyF3Se7BYFWa3tdClGMF Hfob5+LV+0NaCKUOM9hkyYLWaKvS487zR2ushT1xKJ9LuXI4i0YqY7j1N9t6uHOjR0y+iJ7D 8Oe3W+XV2x6mnkGSycs3K9hv0xzyU2N3LB2gvNGDtNf/fJJUhwgOZ7b0+N6C8r9VhjbcdiVU lqmQM2mDSksQdIywt8OZl5wFc2tgB/NwSSkH6MYmbqTCJMp96LTxWLxKNplxnjezacvl1YoT tNUNW2+iK5y7xLdCpLUnUuEj6qqbrwc3CDV+2eD02WOuEZYXRZoX6vcRX4RaRiekdOswUfPQ Pf6DrAqPSNGysuDKO1NcNK/yR1IXv7lM9PfeCSpnHusBBuS7rKKdovjPWsHmG3WAU0A1gQS5 mquNA4kBy7nrXiNIiZpEAfMbkXt+ul/4FqgR058mwiRZkxJ1qHz/RUVjLqVQLURxuRX628at zxoEQPljJrtAN2aql85FE09SdY04VMckHncqxQ4JZu4aaZrml8ZdQ1z+ULozRR+TItawoAxt H1/6g10JOqD1U9ZMSuC1MX5IbTWAmjpuheka6eQ01qY0s7FsrwX5qEAok749BqsClJk9nxm1 9dP1H7J747DDSITStT2WUY+sRFx4bPCMWEm/42B83pqPOGvtyPandIkAOxw0hG7Y9JWK7+JD iftHsdcBtPoL+cqkh6gZVQGJIi+7YYSOMWrP7uD0a+vZ6N7mS6+yH9A+MZ7216N8Cx1TqjJ2 YwEyreWxFnPUTC0l1qnvs3t/OIMLTgPAmqyzzTlD49Nd+Vze4gME2KnP8ywwJ13mZfsX3dS8 FPrCUkB3Yelfh+bblq12gM1twxfqGeumAO51HpzmDEg6KOUmi7WgqzjeBcBJm9XVTx6l16/a YOwjt0cQA2pd11wz0Djuxu8mfQd/fwsSgubCV1FdCX3MWx4B665t77ZJtVK9IttqiJPFuK1f VGdTLf55RocySLqWWVEl1VZP3mnvIv0mxtihSeTNnF2+TDQYshx7RbEotvXRfcX1zFARjEy2 ly1ThCsesKk+9mZjcKJu/u3VkqgTdtUeinii4qL8imjrz4iEVi0mPa9ncfiGA4x3Hrg1tVkY i7PqQ71fojh06nS3ftPRkBzHxe87sN7Hto7iY4snNQL3mBcgJyJ/H0BmGO1MNNB2Ku4YmBfD TIMxtfU5kDi1igBZjqA3Iv4fnSGhMxqZ9D8a2hQ2Dp1481RCaiS5aBJhmMs+QH+81+XP6Q7x 29VwOBm8HMAhuAVpAchq0fVSqsfG0VVJ22klhiF6cy/sLQCYW+udbaq008t1dulDbyEvkRdQ COgIcxkQ3I2sJk5aQqftR+7opvpc9TRc98J4xidkhObyvNQNIp0jf0SwyxuJWP6u3Qhje89l x1nm5+g7+3lYy1g+ry0BhlAO3j7fcQWr3vklq9ftseNmYekHpwnEz5NXoOiHpfKWHoC8O/qM QqDCmh2o2ySGJLeBkmY40dv6XvEVZKzfSLfNDwSytNsQwOYLUpUjVUPXTk0qZU+Exij2M3rd Eoqg1JZrk69sBZHzfhkcgXuSmqK7hn9cS86EdLMZAoT9AxJ4F3ZdNCT/v4mVT8N5YWv9WnvY iSaYQ9MEG0ECEWfH1XzeLap4tbE/u2RB+74JPzLKbSW9b4HDKzOm8/pjNcgpm7LbZ/HKHBmC 7dTNlNre3d/FoyZnjwOT3dSjCfRd4uAow/6/CRrr8e5+fCtWQT15ILJBaEAedNoswu7h6uOL YvyzG5wNCpY25UQxHTJ1KlX3VgcjDtrfiWsFrJIvDDETabZkKtaRxABbCY7OMxN5qM6lg5DX KyTwsvyzaJ9h+UpBk1tSlHr3MCyI8sBI2j7PViBBl7KfLWKKDvXwt3mNKOxTboD6Ycc/xa0u DudDwriJmHazGKvCU3pb70K1XnIWX4W8JuweRtsF2X5GdfvaxngdcRykSVz2roswHXDKW8bN zF4NUJLtLyZqy1C0ZAdUyRM6GRoKe6clmOX9e7df9wfqvJqKiVv0eVR4H18wrAT7jkOF5kX0 GPC68VjpV2riLzF0j18TB9HsSpGnqqUsE8kOL6f8ZJAUDDN91QP9S/DbnZC78sgAdrptadKz 9HJn6+mMzZO/eXf+s4EDtTVIsaKWJLEGRvyXjnfDAJDRDXtN3mN3yS1cdmN+3fTr4N8rZPsk dwHQflZTA5tfhv1IkV+WtsJIJ4xVzhik6bJ1aY1 IronPort-Data: A9a23:APHE5qlQX6BM74yvnemEDNTo5gxiIkRdPkR7XQ2eYbSJt1+Wr1Gzt xJKDzrQOK6MY2XyetsgPdy//EIB6paAzoA3SgE6/n1kH1tH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRG/yhTreCYn0sLeNdYH9JoQp5nOIkiZJfj9G8Agec0 fv/uMS31GWNglaYCUpKrfvTwP9TlK6q4m5A7gZhPasjUGL2zhH5MrpPfcldEFOjGuG4LsbiL 87fwbew+H/u/htFIruNjrbhf0QWdaXZNA6Ih2A+c/DKbs9q+0Teeo5iXBYtQR8/Zwehx7id+ /0R3XCEcjrFC4WX8Agrv7a0JAklVUFO0OevzXFSKqV/xWWeG5fn660G4E3boeT0Uwu4aI1D3 aVwFdwDUvyMr6Gxy56pcOhMuucEAfHXZpkasHJp8S6MWJ7KQbibK0nLzcBV1nExnYZJFvbXI cMSLzh3BPjCS0QUYRFJVdRgwKHx3hETcBUAwL6RjaMs6mn7zRc317PtOZzccZqIXa25m27B/ D6eojWnUk5y2Nq3lATGylGd37D2pCr/f4g3T5GF9OFyuQjGroAUIEZLDwvn+qjRZlSFc9lWL khR/is1sYAp5UmzR5/8WQe5qTiKpHYht8F4DOAwrgCWjK3f4w/fD2NCTCYphMEaWNEeBjsh+ k2znvPVJhtCiIHPU3eX9b6osmbnUcQKFlMqaSgBRAoDxtDspoAvkx7CJuqP94bv1bXI9SHM/ tyckMQpr5cr5fPnOo2k8FqBginqoZPJR0g87UPVRgpJDz+Vhqb4PuRECnCCs56sybp1qXHb5 RA5dzC2trxmMH10vHXlrB8xNL+o/e2ZFzbXnERiGZIsnxz0pCP9JtkBsGwndRY1WirhRdMPS BWK0e+2zMUPVEZGkYcuC25MI5p3kPO+fTgbfqqFBjaxXnSBXFTapnEyPh/4M5HFl0MsmKc4P JaJbI6xC3cEBL58zSanL9rxIpdwrh3SMVj7HMihpzz+iOr2WZJgYe5UWLd4RrlotPvcyOgUm v4DX/a3J+J3CbSjP3mPqNZJczjn7xETXPjLliCeTcbbSiIOJY3rI6W5LWoJKt05zZdG3PzF5 G+8UUJ+wV/yzy+PYwaTZ3wpLPulUZ9jpDhpdWYhLHS56UgFOIyP1aY4c4doXL8F8Oc48+V4Y cNYcOq9A9NOaA/9xRIjUbfHorZfKSub3TC1A3L9YRwUXYJReAjSy9q1Iirt7HYvCwS0h+sfo pqh9BvQUMcddl5iDOLTRvCLykuunHkCmdBdW1nDDclTdX7NrqlrCX3Vpd0mL/4cLS7swmOh6 D+XJhMDt8zhnpQQ8uSVtZubroysLfRyLnBaE0bf87yyEyvQpUin/qNtT8eKemr7eF7v2aD/e 9hQ8e7wAMcHkHlOrYB4NbRhloA6xtn3oo5l3hZWJ2rKY3urG4FfDCG/h+cXjZJ0x5hdpQeSc WCM8IMDOby2ZeXUIGRILw8hNum+xfUYnwfJ1ssMIWL42TRW+YSWWkADLjiOjy1gdIFOCr0H+ tt4msAq6F2YsCEIY/KmlSFf8lqeIkMQC5sHso4oO661qw4J5GwbX7niJH7X2r+tZe9IEHEWG R6Ppa+bh71j1kvIKHUyMn7W3Ntiv5cFuTEU7VoGNXCMy9jMqdIq7SJ07D0xZwVx5TdE2tJVJ WJEGRBUJ6KP3jEwn+lFfTmmND9gDS2j2H7a6gU2hkjGaXK3R0rxLGEZEsScznAzqm5zUGBSw +CF9TzDTz3vQvDU4gIzfkxU89rYUt1781z5qvCNRsiqMcEzXmv4v/WIe2ENlhrABPExjm3ho c1B3r55SY//BB4qj5wLMauo/pVOd0ncP01He+9rw40RF2KFeD2S5ymHG3rsRuxzfc714W2KI O0wAPlQViaO9jeE9REaIq8uH4VavtAU4Pg6R7e6AlJe7pW+qGJyvYPy5xrOojYhY+9TnPYXL qLTcDO/EVKsu0ZEpl+VrOd4Fzq5RfImeDzD2PuE9bRVNpAb78BpX0IA8pq1mHS3azlY3g+dj CbebfXwyN1ZlIRdjtb1GY5iHCSxE8v4D86TwTCwsvNPTNLBCtjPvAUrsWvaPxxaEL8SetZvn 5GfmYTT8Gbamo0pQkblm5WlPItY1/WYBeZ4HJr+EyhHoHGkRsTp3Somx0m5Dp54yPVm+citQ lqDWvuaLNI6dY9U+yxIVnJ4DR0YNqXQa5XgrwObq9CnKEAU8S7DHeOd2U7ZV0NpXQ5WBMSmE S7xgeik2f5ApocVBBMkOeBvM6UlHHDdA5kZZ//DnhjGKFK3g2GymKrozjshzjDpNkOqMujH5 bD9exyvUyjq5Y/pyohVvbUn61dTRDx4jPIrd00Qx89uhnroRCQaJOAaKtMdBosSjiX204ria SrQaHc5Tx/wRilAbQ629eGLst1z3QDSEoyRyv0VE0Koh+OeG46KRrp6sCBr434wczClzvnPx RTyPJHvFkDZ/32rbb97Cj+HbSNPx+icwXkI8Ab0mIrwG37yxJ0UgWd5ElMluTPvSqnweYaiG YTxbWFfBkawSUe3GM0meWY99NT1et/w521AUBpjC+ozd2lWICOsBRE/1yzOPmU/Ufk3 IronPort-HdrOrdr: A9a23:7YuT4a83cCMOPr1sItZuk+API+orL9Y04lQ7vn2ZbSYlD/Bw9v re5sjzuiWE7Qr5NEtQ/exofZPwPU80lqQFmrX5X43SJTUO0VHAROoJnOnfKn/balXDH4VmpM FdmsZFebrNJGk/osDg/gGiHtoshPWB+ru5nPrTwh5WIT1CWuVP60NWBG+gfHGehzMoOXP6Lv ehDwZ8xwZIsE53H6eGOkU= X-Talos-CUID: 9a23:zfdKP2E0aagGfjS8qmIk80U4CPokUkH+61roHxWiDGxqQYGKHAo= X-Talos-MUID: =?us-ascii?q?9a23=3ARlEmfA1moe7nOagzcGFJ3ZjaOjUjvprtMGM8yMo?= =?us-ascii?q?/gsCAEiZVYBugjiuve9py?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.18,217,1751234400"; d="scan'208";a="124059687" X-MGA-submission: =?us-ascii?q?MDExk/+7ymClfZ5L3KHBXthzNAc8RpMfnq5BxE?= =?us-ascii?q?zA93nFIijVkTvNAMT1B8Uh9X1uY22l5aTgWiMuYEND5DM4HcfTHZ00hq?= =?us-ascii?q?GzCvr5vYeh5/4e7kDNIqvIom2Z9mZn3gYFQNMA5OoEjvFOtLaNPGvgSd?= =?us-ascii?q?Qu+aQR3EpNF/uQiKca53fLsA=3D=3D?= Received: from web.is.ocha.ac.jp ([133.65.64.10]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 28 Aug 2025 07:21:33 +0200 Received: from mail-pg1-f200.google.com (mail-pg1-f200.google.com [209.85.215.200]) by web.is.ocha.ac.jp (Postfix) with ESMTPS id 4cC8rj15zKz1N7X1q for ; Thu, 28 Aug 2025 14:21:25 +0900 (JST) Received: by mail-pg1-f200.google.com with SMTP id 41be03b00d2f7-b47173a00e8so480083a12.1 for ; Wed, 27 Aug 2025 22:21:25 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1756358484; x=1756963284; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:to:from:date:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=AyGd8FItXzK2sxuJpUvBCV58iDJxbUyHxLNwJvPyrEM=; b=ujI8MOWli7/PsJcposxLJKLJNzSOJpOrS92+YJ1GntFoFJ2PU5g//3ss+GjslXY4ym 0R+J7J/JBE5SuuVN94toGhrEknLR8Ll/ZuvRRlXbz1lsR6lKWoiT6yTV6rQzim2MqyE7 0FwZ8XDsd4jHJDgG7C2TAou626V3N91tJphc8KfyuNkgSuuRTeTsmil42/oNnkWuRogn 84Zpg9cjo1amzHU54zexMr8ewDNPeRVobUfm8ApzLaiHa/zlFruKxOfatJAbecDuXWMh CCPiLxddeGOEZtrnKy7HAVW/MJsZ9e741PmXu/02xkoILu9EZz5ReiA5xm9x/N21HnbF aH0Q== X-Forwarded-Encrypted: i=1; AJvYcCXFMWAOPlqcq/X2fy9Xl+ShqDRVZnm4anHlK5vfU25d3BAPKTufuivfiYy7AWPdv5F017chdUrER+I=@inria.fr X-Gm-Message-State: AOJu0Ywy0lCz1mgOX7Sm2wO7gCuEi5oBbGsj/xHOSWwwI+mKcxomdMSQ gOIGsYNCdV6v89fJid2iaJM1ia246BjaRKdRecnzfgKY0pQFOqlwcc5EVMI5PPeHs5HnIzXmyGs TXHx1itsTrY9C9u1e6D4+TyGe2gbi8KRU+4gQr/LFs1zOj+crt5RO X-Gm-Gg: ASbGncsmVqLYEXSvdNlXvGUHBRRPNjiH16QoPrbW/fOeZ+WyXETtvKr3Q1YWl0ERodr lJETVE+rBNGerDX1KU/qRMvVolUsC99ide1/ZL3xLtblO11OmoUyEGxf1RyfwXQfENkPQZ5QXMn mSFDEoDfJLFnBAd368i0DIVk8+JAd8p3g8gyw54ReHNJ080qQ61HyYsonZPt2+Yy68qFkMGajWT Fz7FRIxrzwYLHZxhWWkBtpYA/Cz0Nsjbq8SspJHUvIYzUEZCrzwgLj20Ni3A/mmvmxSKDpIOqtT pKP8ZwxW68YxqBoL1hwE3rVB8HFX4M/0tu+B8Rb9ndyj1UcvrDihVWeU X-Received: by 2002:a05:6a21:6d84:b0:243:971d:cd84 with SMTP id adf61e73a8af0-243971dd02bmr9062157637.22.1756358484085; Wed, 27 Aug 2025 22:21:24 -0700 (PDT) X-Google-Smtp-Source: AGHT+IHYtPfxLIt2wnkcc9h5MN4seNwPpCVUpQR8ZnL546og7bryhhyOaIlbr5todtdDuwNwofaQnw== X-Received: by 2002:a05:6a21:6d84:b0:243:971d:cd84 with SMTP id adf61e73a8af0-243971dd02bmr9062067637.22.1756358483207; Wed, 27 Aug 2025 22:21:23 -0700 (PDT) Received: from localhost ([240f:101:8218:1:d54d:b059:4702:1cf8]) by smtp.gmail.com with ESMTPSA id d2e1a72fcca58-771f34ecccesm7348166b3a.61.2025.08.27.22.21.22 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 27 Aug 2025 22:21:22 -0700 (PDT) Date: Thu, 28 Aug 2025 14:21:14 +0900 From: Kenichi Asai To: Oleg , francois.pottier@inria.fr, caml-list@inria.fr Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: Subject: Re: [Caml-list] automatically resolving open? Reply-To: Kenichi Asai X-Loop: caml-list@inria.fr X-Sequence: 19371 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: Following MetaOCaml (and Oleg's advice), I created a program to attach module qualifiers to variables, constructors, and record fields: https://github.com/kenichi-asai/expand-open After type checking, I translated the typed tree to a parse tree using typing/untypeast.ml, and then pretty printed it using pprintast. I tweaked untypeast so that it adds necessary module qualifiers (following MetaOCaml). It is for OCaml version 4.14.2 but the changes are simple and it should not be difficult to do the same for recent versions. The changes I made are summarized in the commit: https://github.com/kenichi-asai/expand-open/commit/cdc5cb527df4be02430dca45f9d39c0f14c3bf91 Sincerely, -- Kenichi Asai