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=pS3yzbhO; 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]) by plum.tunbury.org (Postfix) with ESMTP id 5F15E4008C for ; Thu, 16 Jul 2026 13:03:44 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:from:date:message-id:to:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=6+laXLPGCRbDaux0gY7JE34T0yVJNDK+EHvsx+PFgzU=; b=pS3yzbhO3QlFjROKcrVpSh98c/DeezJDnlCbvSh4ielw/IorVeJUnkZg JGrzFv4VuvJXl9m8S5kKFS0TGSiB8SDGpaIcC1BmmMg85/dzMMfnG/Gdm 4VPIc4RA/Whi6ttyGyiEMChyWX3FWdCuILtA9K5J37i9NGaxg0i5b6tjB M=; X-CSE-ConnectionGUID: kgLlcshqSNWt1ckYy+NInA== X-CSE-MsgGUID: EV4XSikIRLez+QzrL2q6vg== Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@prod-sympa-app.inria.fr Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.27 as permitted sender) identity=mailfrom; client-ip=128.93.162.27; 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 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@prod-sympa-app.inria.fr) identity=helo; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@prod-sympa-app.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="6.25,167,1779141600"; d="scan'208,217";a="286585345" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 16 Jul 2026 15:03:42 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id DB93C816E3; Thu, 16 Jul 2026 15:03:39 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id 5C9A6815F2 for ; Thu, 16 Jul 2026 15:03:33 +0200 (CEST) X-CSE-ConnectionGUID: vEigZidsRx210D+k4mQwTQ== X-CSE-MsgGUID: 9C3EDmupQiWYv80yR+vVyA== IronPort-SDR: 6a58d6a4_wcsMMujwK3yRlxykeoWHVgzADi0cvLW+3OO9ZbzxqpZC/IX 4sESg8VKVdlRdqOXTBuUS1t+1s46YbRIaZzhvaA== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0E8BABE1VhqgTbgfUpQCoUad3E0BAtJhFiBI44vUwoGg?= =?us-ascii?q?Rwfi32HVYN4iBY9Ag8BAwENUQQBAQECBJJSAh4HAQRHAQIEAwIDAQEBAQEBA?= =?us-ascii?q?QEBAQELAQEBBAEBAQIBAQIEAwEBAQECEAEBIhkHDg0uhk8NgluBLGECBQM7A?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBAQEBBQIsVSIRBBkBG?= =?us-ascii?q?x4DEggBBzcCIwERAQUBFgwbGoUDAQYQAQM3A69TgiSBAkKLPX8WBQIWgQGCD?= =?us-ascii?q?QbaaAoZKA11gQpcAgcWhEeBaCpdgj4fAYFfAQIOiSqBGIEQgUqHSoQIgmoEg?= =?us-ascii?q?iKBDJFQJggHFwMHBwkFBBwGBQUCPwkFAQ8SAwQDBAQBAgsJCgkDAwIOAggDA?= =?us-ascii?q?ggGGQE/EgQTCg0LBwUfCgIMFAooIhIrCgECAVUwAQgGAgIEBAIEDAIJAgIFB?= =?us-ascii?q?wIRAwQBAQgCAi0DAQMZCAkIAgsFERgMCwcxAxAJAx8XGwgRNAgGFgEaBwUGC?= =?us-ascii?q?zcVBQwRAQIbAiEEHREIAwEYBAQCAQsDBB0EAwMFAgIJCQQMEAoSFQMOAwcPA?= =?us-ascii?q?g0HOQMCDgIJCAwXAgICBgIDAwMKAQIBAQEBAQEBCAMDAwIDGQcGAwQEAQQEA?= =?us-ascii?q?wMCAwUBAwMDBQICCgYJAQEBAQMCAggDBwMKCQIFAxsDIAYBAgIDAgECBgYDB?= =?us-ascii?q?wEKAwQCDQMDBAIDAwMDAwMDBAECAgEBAQIDAQMDBAMBBgIBAwcCAgMDAwsBA?= =?us-ascii?q?gMDAwUDBQEFAwUCAgMFBQMFAgIKAgMDAwIBAwIcAwgDBgMSARADAwYBAwcDB?= =?us-ascii?q?wIEAwgEAwYCAwgDAwIJCAMWBgMDAwMFAQICAgMFAwMDCAgEAwMEAgIDDAIGA?= =?us-ascii?q?wMDAgMDBQMDBwIEAgMGAwMDAQMDBQECBwIDBwIBCwsIAwIEAgkHCQcBAgMLB?= =?us-ascii?q?AIEBgQNCQQCBAICDwQEBQMDBwEBAgECCAUGAwICEQUICgUGAgICHQMiAw8GA?= =?us-ascii?q?QkFAgEFDgcFAgILBgMFBgMEBwcDBwYCAwIGAgYCBQEDAQoBCwEBAgMDBQUDA?= =?us-ascii?q?wUHAQIEAgcDAwMEAwMDAwEBAgIEBgQDAgMHAwMDAwMEBQUFAwIFAgQDBQMHA?= =?us-ascii?q?gMDAgEFCgEEBQQKAQMDAwMFBQMCAgMDBAECBAYDBAIDAQIIBAYFAwMDAwUCA?= =?us-ascii?q?wMCAgIDAwUBBQIDAwMEAwMDCAcFAwMFAgkDAwkDAwsCAgMgAwsJCBM9AQsHM?= =?us-ascii?q?gQ2ARQUBykhX41VI4I4gx/HUweEIKF1M6psmQipMhEkEoFKIoFccIEBgjZQA?= =?us-ascii?q?xkPkiPMPkcyPwcCBw8CkieBTAEB?= IronPort-PHdr: A9a23:PnQmlxGwM+qFD4xMjz8d5Z1Gf0FFhN3EVzX9CrIZgr5DOp6u447ld BSGo6k20hmRBM6Buqkew6qO6ua8AjBGuc7A+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKwEcI oFpeWQhwUuGN1NIEt31fVzYry76xzcTHhLiKVg9fbytScbdgMutyu+95YDYbRlWizqhe7NyK wi9oRnMusUMjoZvJKc8xgHVrndVdOha22dlKFyNkx3h4su84INv/z5ftv8v+MNMS7n2c7g9Q bdFEDkoLmc56dHkuhXEUQaB/GYXXH8MkhpPDQjF7RX6UYn0vyDnqOdz2zSUMNPvQ7wsVjqs9 6hkRAb2hSkIKjA16G7YhNB+g6JduxKhugdww5XIb4GPNfpxZb3ScNUHTmdcRMlRVihBAoShb 4sTCucKIOhVo5Xhq1YIsBCzAxSnCuHyxT9SnnL50q003eoiHw/bwgIvA8kDv27IoNjvLqoeT fy5wavOwD7eb/1WwzD96I3Qfx4kvPqBWq5/cdPLxUk3CQzFlE6QqYvjPzyP0uQAqGeb7+96W uKuj24rsR1+oj+qxso1jITCm40axEze+ypj3IY1OcO3SFR9YdO8H5ZdqyGUOYR4TM4gTW9lp Ds2xL0Gt5KmciUH1pcqygLRZfGbfYWF7BDuWPufLzl4hn9rd7ayihm9/0S8xODwSs+520tJo CpditTBtH8A2wbO5sSZSvZx5Fmt1SiA2gzJ6uxJLkY5nrfBJZE72L4/jJ8TvFzDHiDonEX2i 7ebdkA+9eip7+Tre7Xnp5CBO4NthAHzMqsjltawAeQ/NQgOUGyb9vqm2LL/+k35Ra1Gjvwwk qbHrJDXPcYWq6GjDwNIzIou6wyzAym43NkXh3UKLF1IdAqCj4fzOlHOJP74De24g1SpiDpk2 +nGMqf5AprTNHjDi7DhfbBn5E5Y0wczwtVf6IhVCrEFOv78RkjxtNnAAh8jLwO02/rnCMl61 o4GRW2AGKqZMKfLvV+M5+IvOPWMaZQOuDf9Lvgl/+ThgWU4mV8bZ6mp3IEYZGq2HvR8O0mZZ 2Hjjc8bEWgWpgo+UPDqiFqaXDJOf3qyULwz5jY4Boy8FYrMSJ2jjKSb3CilAJ1YZXpIB0iJE XjydoWEX+4AaSKdI8N8izAEW7isRoA72RGhsw/6zLVnLu7K9SECqZ3j09116/XOmhEx9Dx0C tyQ3XmCQW56gG0GWyM70qZnrUNgz1eMy7J4jOBAGNJL/v1HSgg0OYbHz+xiBdD/QhjPc8uUR li7WtmmGikxTtwpzN8OfUl9H9Kigwjb0SSzG7EbmO/DOJth2avZ2zDULsd5ynDJ0Kg6kxFyS cJKMSiih7Vj3wnVHY/A1UuDwfWEb6MZiQ2FoGyai3KDplpfVgd0earAVHEbIEDRqIKqtQv5U 7ayBOF/YUN6wsmYJ/4SAjWIpVBPRfO4fc/bf3r0gGCoQxCB2rKLaoPuPWQbxiTUTkYewEgI5 XjTEw84C2+6pn7GSiR0HAfkegX0/PNlr3WySmc7ygiLawtq0L/msgUNi6mkQugIlqkBpD9nr jx1GFin2NeDAMPGvwd7Z6JaaNcV71JO1GafvAt4bdS7N643oFkYfkxsul/2kRV6DoIVic8xs HYj1xZ/M4qd2VJFMiKIhNX+Z+GRJW718xSiLaXR3zkyyf6w/aECoLQ9olTn50SyE1Y6tm5gy 59T2med4ZPDCEwTV4jwWwA57UoyobaSeSQ7647OsB8keaCprj/P3c4oD+o5216hedlYKqaNC A71FYUTGcGvLOUgn1XhYAgDOahe86s9PsXucPXjuubjN/8mhD+8lmNB6YRV3UeF9i46QenNn t4Ez/yewgqbRmLkll7y+svzmI1CeXQTBj/glW69XtMXPPcuO9tXWgLMa4Wty95zhoDgQStd/ V+nXBYd3dOxPAGVdxr71BFR0kIepTqmnzG5xnp6iWJMzOLX0SrQzuDlbBdCNHRMQTwohk6qO YWulNccVUyAYA0glR/j7kH/jfs+xuw3PyzITEFEcjKjZWp7FLO9rKGFZcdLwJwtuCRTFu+7Z BrJL9y16wtf2CTlEWxEwTk9fDz/oZT1kStxj2eFJWpypn7UES1p7S/W/8eUBftY3z5dATJ9l SGSHV+ked+g4dSTkZ7H9OG4TWOoEJNJI2HnyoaJtS3z4mMPY1X3lOn1gtD9Cg882CvT2NxjV CGOpxH5KoXmzKW1N+t7c1IgWwO6spAnXNskzs1t2NkZwjACi4+Q/GYbnGuWU50Twq/4YHcXB HYKz9PT/An5yRhmJ3ONyZj+UybVyc9gat+mJ2IOj31hqZkQVeHOtuACwHcmxzjw5RjcavV8g DoHnP4n6XpBxvoMpBJo1SKFRLYbAUhfOyXo0RWO9dG36qtNNwPNOfC90lRzmde5AfSMuAZZD TzyY9E6EDVr6cN2NHrD1XTy7sfvf9yaPrdx/lWE1gzNieRYMsd7neNMnSd9ImX7tHkNxOsyj Bgo1pa/9tviSS0l7OeyBRhWMSfwbsUY92T2jKpQqc2R2pimApRrHjhYFIutV/+jFyge8Oj2L wvbWiNpsW+VQPCMeG3XoFcjtX/EFIqncm2aNGVMh8s3XwGTfQRemFxGA2l8x8RkUFjsnIu4L g94/mxDvAap7EsRjLsyZ1+nFT6AwWXgIjYsFsrFdEIPvF0SuR+HbZzAsrAhWHwGtpy58l7Xd jTHNVoYVTlbBhzaWwKxeeTwgLuIu+mAWLjkcaORM7veo7QMC6fWmcD9ldY4tzeUaJfVbiE6X aY1ghgfDS4lSZaexmtqKWRfljqTPZSS/E/uo3Eq9pLjoKq3ClCouNXHCqMMY49kox7kj63eb 7zM1Hgle2Qfi81E03bMzPJ3MEc6rSZoenHtFL0BsXWIV6fMgupMCAZdbSpvNcxO5qZ63w9XO MedhMmnnrh/xuU4DVtITzmD0omgeNAKLmehNVjGGFfDNbKIIifOyt32ZqX0QKNZjeFdvRm98 TiBFEqrMjOGnjjvHxehVIMExDmcJwBbsZqhfwxFDGHiSJf3ekT+PoIryzIxxrIwizXBMmtde TlwfkVRr6GBuCNVhvIsfg4JpnFhLOSCh2OY97yHdtBP66YtWH4o0b8GsxFYg/NP4SpJReJ4g n7Xp99q+BS9l/WXjyFgSFxIoypKg4SCuQNjP7/Y/99OQyWhnlpF4GOOBhANv9YgBMfovvUaw cGJjK/pMzBE+tb88s4VBsySI8WCeilEU1KhCHvPAQ0JQCT+f3nYnFBYmeqO+2e9q5E7rt39i MNLROIHElMyEfweBwJuG9lIc/IVFns01LWcisAP/3+3qhLcEd5bsp7wXfWXGfzzKTydgNGsh jMNyLL8aJUDb8j1hhAkZV59k4DHXUHXWIIVysWERgAxqURJtnN5Sz9rs6oKQgyo6X4XU/Wzm 0xv4jY= IronPort-Data: A9a23:1l6VfqzUjGZQ3+rBd/N6t+fSwirEfRIJ4+MujC+fZmUNrF6WrkUAz WEcXzuBaP+LZjPxeY0jPtvl900EvseAztIyHgRvpC00HyNBpOP7WeiUfxz6V8+wBp2aHRg/t 63ySfGZcZtqFieEzvuJGuK8xZWp/fjQHtIQMMadZGYpA1MiEH5/4f5as7ZRqpZyhtSkCB+6t 9r3osnOUHeowDcc3lg8sspvkzsx+q6v0N8klgZmP64T4waAzyB94K83fMldEVOoGuG4IcbhH 44v/JnhlkvF8hEkDM+Sk7qTWiUiXr7IMAGSvWFdUq6kjwIqjnRaPnETaZLwwW8O49m4t4gZJ Odl7PRcei9wVkH4o9nxZjEEe81IFf0fqeWfeRBThuTIp6HOWyOEL/yDlyjaN6VAkgp8KTgmG fD1tFnhx/1M7g676OvTdwViuigsBNfGPYwtu3179yGDVK4KApOfRpzV2eYNiV/chugWdRrfT 88QaD4qfQSZJhMSZhEYD5UxmOrujX76G9FagA3J4/Ntvi6JllA3jeSF3Nn9IrRmQe1ehwCAq 3jd+GLwBjkVMdWezXyO9XfEaurnxH6hAttPTObmnhJsqAy4nUE/DQAObFqEkOfp0l+EGMxhO mVBr0LCqoBpqRXzEYijN/Gim1aPtxsYHt5RCPES8xCI0qOS4gCDB2FCQCQpVTA9nMo/RDhvx 0/Q2t20WXpgt7qaTX/b/bCRxd+vBcQLBXEvZCA2TAce2cm5+dkfzRGTS+98LJfg27UZBgrML ya2QD/Sboj/YOYO3qS/uEHX2nei+8SPQQky6QHaGGmi62uVhbJJhaT4sjA3Dt4Zfe51q2VtW lBawqByC8hQVPmweNSlGrllIV1Qz6/t3MfgbaFT82kJrGn0oyHyI+i8ERlxI0BmNstMeDniJ ifuhO+l37cKZCHCRfYvPeqZUp12pYC9SouNfq6OMrJmPMMqHCfZp34GWKJl9zq8+KTaufpnY c/DGSttZF5GYZlaIM2eG71EiOF6nnFnlQs+h/nTlnya7FZXX1bNIZ9tDbdERrlRAHqs+V2Or 4RsJIGRxg9BUebzRCDS/MRBZRoJNHU3T9S+4cBeaufJcEIsFXADGs3h5+orW7VkuKBJycbO3 HW2AXFDxHTF2HboFASta1JYUo3JY6pRl3wAEBIJAUeJwFkmOIam07cefcA4fJ4h7+1S8sR3R PgkJeSFW/RGdSvb9gQSfb3CndVEX0mtj1jfOSCKXSUOJc98Zg3W++3Lehnk2zkOAxGW6+o/g eyE/SHKTaUTQz9NCJ7tV8uu6FeqrF4hmO5WdGnZEOl5IUnD3tBjFH3ss6URPcoJFyTm+hKb8 ASnWTEjuujHpt4Owunj3Kyrgd+gLLpjIxB8AWLe0LeRMBva9EqFxatrcr6BXRLZZVPO1JSSX 8dn5NCiD6Rfh3dPiZR2LJhzx6Fn59fPma5T/j45IFr1NWaUGpFSCVjY+/JQt5995K5T4iq3f UOtxuN0G5u0POHdLVpAAzZ9M8qi06kPlyjw/MYFBhzwxBVK8YqtVWRQOBixixJhEoZlDbN9/ 8AfvJ851g/urDsrLdeMsQ5M/UuuMHErcvsqp7MaMqDRmyspzVBzOrHBAQDI8ZrVOsh9DVkDE GXNhKP9mKltnBveUnssFEri2fhWqoQOtStrkn4DBQWtsfjUisAn2CZ+9WwMcT1U6RFcwsRPN XNNNUYoAYmvpRJTm9pmc16gPypjFS+p0BX95HVRnVKIUnTycHLGKVMMHNqk/Wcb1jl5VSda9 rTJ81TVe2/mU++p1xRjRHM/jeLoSOFw0QjwmMqHOcChNLtiaBrHhp6eX0Y5myHFM+gQ2nKe/ fJL+dxuY5LVLSQT+q03K7eL3IQqFSyrGjZwfuFDzogoQ0fnZzCA6RqfIRuQe+RMBcDw322WN shMHv9LBjOCjHugjzZDHqMdAa5GrNhw7vo4R77bD2onsbyekzlXjKzt5hXO3G8GftE/vvs+e 6Xwdi2DGFO+nXF7uXHAh+gaN3uaYesrXhzd3ue0wb4kCpksjvBnKxAv44SklkfPaQtuwA2Jj VmSe47X0O1Q5oB+lKT8Eqh4JluVKsjyWt+X8Qu1jc98UNPXPerKtCIXslPCPTkKGZcgAPNMi qWrsvPs+VHs5YYNTGHSnqeeG5lz5cmdWPRdNuT1JiJ4mRSuddDN4RwR3XKRMr1Mzc1g4/e4S zuCaMefccAfX/FfziZ3bwlcCxMsNLTlXJz/pC+Sr+W+NTZF6FbpdOiYzH7OaX1XUgQqOJekU w/9hKuI1+Bi9Y9JAEcJOuFiD5pGO2TcYKoBdeDqlDymH2Kt00KjuLzjqEIa0gv1KEK4SeT03 ZGUYSLFVkWCiPmdhpUR+Yl/pQYeA3tBkPE9NBBVscJ/jzehSnUKN6IBOJEBEYtZiTH2yIq+X jzWcW8+Em/oaFyoq/knDAjLBW9zx9DiO+sV4hQs9kKQLjamXcaOXecn+SBn7HN7PDDkyYlL7 D3YFmLYZnCMLlNBHI7/JcBXRc9ow/rbwjQD/kWVfwnaHUMFGbtTvJB+NFMlaMEEev0hUG3EI GE0QSZPR0TTpYsd1yp/UyY9JSz1dw8DA9nlgeljDTofV0imIDV89cDC IronPort-HdrOrdr: A9a23:Z03YzaAJ8s3Bv9blHel155DYdb4zR+YMi2TDiHocdfUFSKGlfp 6V9sjztCWE8wr5PUtOpTnuAtjlfZqxz+8R3WBzB8bBYOCFghrPEGgK1+KLqAEIcBeOj9K1u5 0QC5RWOZnfCRxUgc7m/BK1Cb8bsb662ZHtq+Ob4XkFd2FXgmJbjjuRyDz0LqS+fngkOaYE X-Talos-CUID: 9a23:wdINCmBMOv4cTYz6EzdK9UEmG8w+SG2HlS/8YEzkDF92dITAHA== X-Talos-MUID: 9a23:XqXe/gnzmW9nS4zrSD3bdnozH5xFz6GzEHkMrqQY65GVD29uBSa02WE= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.25,167,1779141600"; d="scan'208,217";a="152215036" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDEgwduv+LaEwjaZju5HcmuQUXlgxni1NMMjQc?= =?us-ascii?q?sxrHfi8MQp6gxAkaPR9v9Rzr125NoOnTgpwPVXyQgTooo9Zk5/tfYdzp?= =?us-ascii?q?WQHelmlJG+acxbyKJbHrFUqplMnavEJAkix2RRF4Ax5qS0JbkXLjh6JS?= =?us-ascii?q?IAhKiCIsV5j05B9WXUMexpKw=3D=3D?= Received: from mail-yx1-f54.google.com ([74.125.224.54]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 16 Jul 2026 15:03:32 +0200 Received: by mail-yx1-f54.google.com with SMTP id 956f58d0204a3-668005ba03cso3983412d50.2 for ; Thu, 16 Jul 2026 06:03:32 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1784207011; cv=none; d=google.com; s=arc-20260327; b=OtFtpR5XE0598cblVRwPJE6GWWHgPW/c4TvcOP33IR1PKiAA1YeySe8Dwk3+CQ6yJQ 70dKW1sdcFQgAvUiPBwshxd/3iIR+IE4g/46xKiQeKT57ttHFA7HPk7kREtxlOOIH2CI hf4AMbnx4Bs+z7MYYSVZufA96oH1bBPJz0OCU74iraF0TBCyyMD3ChJxSdsxAEPcBjq1 d6JGgytXGJ4p/vixAKVhVxwsjY93M5YvcWTmdYnOQz5at6XAW7ub/0hrxWlLmCvi4BYU a5dNI1zXHhkdAec0iAUoBOIQhL+vkfz2y+zP259GEaUK953i96T4bC5kEN7vKiUZzQoN XCKg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20260327; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=6+laXLPGCRbDaux0gY7JE34T0yVJNDK+EHvsx+PFgzU=; fh=B+N5MzAT90r9Qj821titfnPY0j6LxH7kDeTJnTfZ/NA=; b=JfaJj8mIPuO9sJ44dUCSEIAVwDScXivXSvQ+ImeMrIrDXYjqiKYmSTERaMPYmV2Aop aOBM07OonSwBt9uf4urq7pypXE8iPftHFPD+4yuYU7bumNFKspaN3H8yIFiqud0KJKNa gKhIqbmpciyXfZ2yHsGZdGo2ftKuXgzdgMt/geSVeZABf+jOseEAlNCdOaxNljrU7JHi CX7cF+AhwqrOv8iQ24+rGhe9xEUH7xO8Fybd6kuPr1ehAKU8iTRiJVMBlp/6Voda65Fz DEjhryw8e8ZNikTS8Ny3/5oe5bnrYUM0u9y/+fXh5sfCEDu/aae90APzFEoistHAlt/i vVbA==; darn=inria.fr ARC-Authentication-Results: i=1; mx.google.com; arc=none X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1784207011; x=1784811811; h=content-type:to:subject:message-id:date:from:mime-version:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to :content-type; bh=6+laXLPGCRbDaux0gY7JE34T0yVJNDK+EHvsx+PFgzU=; b=bfF/+jb3fQCqT+MHw8DDkV3QK1UlYFkuWVTwxEOQWCXEnp7juIkrrQ1qXBTWTvCEXe 3vAZyQqHDV5ep4Axb6S/hQxCBCkA3bbHgOqWabDzfWgt2yiWgkcpfX4i6ahnzINlddIh wk0V7f8tvT5rjX2Z2oIIMigP9E9Uietnm6vujfx4E0zlKp4GVsbJHtpJXhtLFz4Fc12s MtAhPjNCvnacI5VBXVjuXa+r79jkdz+VjhTNSfAvlgyhgdSfNQX2/txEGPtrs5yMCiK6 GNG7mrFfaKbGstU7oEVEVIu5JfEKIDb+5LR3/LKeMwv2Tj3IIwtNR6Vq6xOtb/v+bAon 9CjQ== X-Gm-Message-State: AOJu0Yxt7ygArE1bq0/t1RFic05MB3pT9VW4bmC3RNx5nb5x2NNeAfFW SSI3Z1wpaCbH7V3mXRnbtoxQwVbWDm1da48WXMTPpygOcFOVSJHzmV4HJ7PoppyGU76XPWXWGFm SS7WuJQb2NoQVN9lMEokAlZRHmAS5w//DeQ== X-Gm-Gg: AfdE7ckaqCgOsANFxA0X159/ljsNpUk0paOwvV719B4Bj4saa7g/kl0ZpODfvMKGpAP qbiLvNRpPKjz+koF7X9Esm62swRmTQ2yLGL/zKS8z5PlF0OcKjTBrj2ewJB9kWEHEpB+tjDP06z Ag8qdZJGTfI7Yw2Lm8i4a9q+o0+D89uDpfKdGELw5WyqTUxt1IjVpO2Lqfxf3cMZpPj6QIi1Xb0 8qLR0vC97nbaN650aCqsQeIIS1SHi42s7usTGW7kzjj/vbj0jJJChZ12UO3o9UN5/lVCgddcOZ4 DDmkP7XLphRHhqekYobVHiFxZTha0RDYccyo+GTyhl/AyYj/TdNdzPJsHxE9cIOVrHS7soAJmBR 1 X-Received: by 2002:a53:d3c3:0:b0:664:9736:424d with SMTP id 956f58d0204a3-66802a6d54cmr6364630d50.48.1784207011113; Thu, 16 Jul 2026 06:03:31 -0700 (PDT) MIME-Version: 1.0 From: K Date: Thu, 16 Jul 2026 14:53:20 +0000 X-Gm-Features: AUfX_myyuQ4PS5MNz_0uDP7yvYQiH-iDWcS7P7uAkuue2SyDfwEt3utONRsqkFU Message-ID: To: Caml Mailinglist Content-Type: multipart/alternative; boundary="0000000000001a70420656ba11ab" Subject: [Caml-list] module dependency question Reply-To: K X-Loop: caml-list@inria.fr X-Sequence: 19546 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: --0000000000001a70420656ba11ab Content-Type: text/plain; charset="UTF-8" I have been labouring under the mis-apprehension that the global Path.t's within the typed AST are sufficient to identify all dependencies of a module. But I think the following case illustrates differently: consider a toplevel definition: let v = M.f () where M.f: unit -> N.t the dependency on M is clear but because the value v is not inspected in any way, the type N.t is not a dependency unless going, say, beyond the type AST description and iterating over the term's exp_type: typexpr looking for global Path.t's. Is this reasonable or is there a better way of going about identifying ALL dependencies? --0000000000001a70420656ba11ab Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
I have been labouring under the mis-apprehension that= the global Path.t's within the typed AST are sufficient to identify al= l dependencies of a module.
But I think the following case illust= rates differently:

consider a toplevel definition:=
let v =3D M.f ()
where M.f: unit -> N.t
<= br>
the dependency on M is clear but because the value v is not i= nspected in any way, the type N.t is not a dependency unless going, say, be= yond the type AST description and iterating over the term's exp_type: t= ypexpr looking for global Path.t's.=C2=A0

Is t= his reasonable or is there a better way of going about identifying ALL depe= ndencies?
--0000000000001a70420656ba11ab--