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=SrF81Qgt; 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 3036940092 for ; Wed, 15 Apr 2026 12:46:26 +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=nqvQXxROriru5lDa74yy97H1DbADIfzTrIN8kV3rydM=; b=SrF81QgtR/IwwEwnZr+Y1wAbOV3OVmXwi8F9MZeo4VFjp4v7bX/SssgW n8O9nfbspWWx3rDA9TrE4cWjKVDzJeDAzGAL4x3hh79AzTvtN3XpYhcI+ 6ofQVvH5ymwgYgDbpVgnlJrmKWh4LiWeBYesXNBZATdcuE3mXvmbbl9IJ c=; X-CSE-ConnectionGUID: O4O4dKfNTau68ucK7It01w== X-CSE-MsgGUID: 5Q7rCQ5XRFaHoYuw9y8ilw== 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.23,179,1770591600"; d="scan'208";a="272639187" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Apr 2026 14:46:26 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 0BAE481C91; Wed, 15 Apr 2026 14:46:26 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id 19CA581C8E for ; Wed, 15 Apr 2026 14:46:13 +0200 (CEST) X-CSE-ConnectionGUID: /9KZTT7UQv6dyjx5WPElgQ== X-CSE-MsgGUID: seD2G7bCQZGHV48QgNujtg== IronPort-SDR: 69df8894_ip9eFVQ+mvLm/3rPabt1DX4qc76tOYcRbWSrd5moVJ4TeN/ S/8B3+o5+CyhSJ2+zn+qCWZG/Dw32iF03NyhmGQ== X-ThreatScanner-Verdict: Negative X-IPAS-Result: =?us-ascii?q?A0HAAwBQh99pdwpAQYVahEdTgQdgMgQLSQRgh0OOJaAcB?= =?us-ascii?q?gkBAwELAQFECwIEAQEBAQEBA4UAAo0tAh4HAQQ0EwECBAEBAQEDAgMBAQEBA?= =?us-ascii?q?QEBAQEBAQsBAQEEAQEBAgEBAgQDAQEBAQIQAUNJhk8NgluBLIElAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBARcCDAF+AgEDEig0GwsSNBAjAQUBDg4GEyKCYYJzAgEBE?= =?us-ascii?q?KlMgQJCikN4gTSBAYMcgWDYfy1UgTIWgTeIVwGKcEKCDYQHOD6BUIERAgKBN?= =?us-ascii?q?AgBAYZkBIIigQ6BfoM9gjGHQlJ4HANZLAETQhMXCwcFajkoAhkDgQYjSwUDE?= =?us-ascii?q?RkdgRkKIR0XFR9YGwcFEiEqboMJAXYuXhoOIgI5XEo+C1IFgXYCgR2BCAMLb?= =?us-ascii?q?T03FBuMBSKCaUQGEwErWEBGjzIHhEOQJYIegTiKQpUXhCaEUR+HLpYHhVuRd?= =?us-ascii?q?wyTDYgpkF2MD4F6mw0CCgcHESSBWyOBXDMaCDA7gmcJRgMZD44tFoNfhB90u?= =?us-ascii?q?0E1NAIBOgIHAgcNAwuFQSYTi38jgUsBAQ?= IronPort-PHdr: A9a23:YBzMtxZPz1LqnnS4xvcjKgb/LTH52oqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1wKPBd2Qt64d0qKW6/mmBTdcp87Z8TgrS99laVwssY0uhQsuAcqIWwXQDcXBSGgXO voHf3Jeu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYnbr+tQt2agMu4zf299IPOaAtUmjW9falyL BKrpgnNq8Uam4RvJ6gxxxfTvndEZ+tayGxnKF6Oghr3+8O88IJ+/yhKtP8s+cFNXb/mc6gkS LBTESgrPX0y6MD3uhbPSheC6GEBWWsMiBpIBAbF7BD+Xpjvtybxq/Rw1iqHM8DoVL44QTus4 b9kRxPxlioJOCM3/HnYhcJsgq1bpgmhpwFkzI7PfI6VLvt+cbjDct4cWGFMQ9xeVy1FAoO7c osPE+8MNvtWooXhu1cDqwa1CA+xD+3t1zBInGf706M63eo/DA/I3wIgEN0Sv3vJrtr4L7sSX fyvwaXU0TnPc+1a1DHg44bIaBAhpvSMUKp1f8XPz0kvFh/KjlWRqYf4Iz6Vzf4Cs2mG5OdnT +2vkHQoqwBqrziu3ccgkI7JiZ4Vyl/e7yl22po6Kce6SE5jeNOpFoZbuC6GOYVsWMwiX31ot zggyr0AoZO3YDYHxIg5yxLDa/GKfJWE7g7jWuiRLjp1h31odrK9ihuy/kauyunxW8uw3VtIr ydIltjBu24R2hHX6MWKSOVx80G80jiB0ADT7/tLIUEylafDNZ4h37ExlocJvUTEBC/2l136j KCXdkU4+uio9v/obq/6qZ+bMo95jBz1PKc2msGnHOg1PAYDU3Ka9Om8zrHu/EL0TK9XgvEqi qXVrp/XKdgVpqO8HgNZzpsv5hO8Aju4zdgVnnwKIE9AdR2alYfkNVTDL+rmAfiinlihlTNmx /7dMbL6B5jNIHbOn6v8cbt79kVS0hA8zcpF6JJRErwBIOz8Wkv2tNHAAB42LRe7z/zmCNVmz I8eXn6AAq+DP6/Iq1CH+vgjI+uUZIMNuTb9LeYq5+L2gHMkl1IQc7Ol0JoXZXyiH/lrLF+Vb WfwjtsZFGcFpAs+TOjkiF2YVj5TYm6/ULgn5j4hCYKrFobDRpu3jLyGwCi7HodZanpcBV+QC 3vodZ2EV+8WaC2OOs9hjiAEVb+5RoA9zx6usQv6x6NjLurV4S0YqYnu1MN15u3WjRE97yZ4D 8Wb02GXTmF7hHkERzEs3Kxnp0xy0U+M0bJkjPxACdxT+/RJXx8nOZLEwOx1FdfyVAHbcNqRT FioWM2qASsvQdIvwNEAeV5wGtu8gR/YxSaqAqQVm6aMBJMo8qLTxWL9KNxhxHrc1qkhl0EqT dZMNW2ng65y7xDdCYHHnEuHi6inaaIS0DbQ+2eG12WOpl1XXRZoX6vcRX4RaVParc/h5kPMV 7KgE6gqPBZcx8KaMatKctPpgk1GRPj9PNTeZHq8lX+pCxiQyb3fJLbtLm4U2SGVFVMJiRtbq X2PMAx7Aia6v0rfCiZvHBTheRW/3/N5rSaYQ0k1xAGLJ2R63rv9rhcOjP20SuhV2bkEsWEoo HN2BADujJrtF9Ocql85L+1natQn7QIfvYq4nwl0P5j6artnmkZbaQN8+UXnyxRwDIxE18kst nIjigRoeuqDyF0UUTSe0NjrP6HPbHHo9UWmcKfX8lDFltGd+q5J4f9+qU2w9BqxGB8a+m58m 8JQz2Pa45zLCAQIVpekW10+9jB7vPfdaSk0oYrfk390YuGvqjGX/dUvCaM+zwq4OddSNKTRD AjpD8gTHNSjMsQ1llLvbwlCO+tS/eg9NIWkb5NqwYaNO+Bt1HKjhGVDusVm116UsjB7QajO1 ooExPeR2k2GUS39hRGvqJK/n4cMfjwUEmelrEqsTIdMeq1/e5oKAmayMoW2wNt5nZvkR39f8 haqGVoH3MajfRfaYUb62EVc0kEeoHrvniXdrXQ8miogr4Kex2rJyOTrMhMMfGxTBSFjgVrqP YmonoUCRkH7JwMtlRaj+QP73/0C//85cTSVHxsOJnClSgMqGrG9vbeDfcNVvZYhsCENFf+5f UjfULn25R0TzyLkGWJagjE9bTCj/JvjzHkYwCqQKmh+qH3BdIR+3xDasZbVXvdQ9jsdAi5zi TCRD1P6PcHjrrD239/T9/uzUW6sTMgZeDLizKuBr2287m1jRxS02fKr0I6vAU0x1in10MNvX CPDoUPnY4Xl4K+9NPpuYkhiAFKUB9NSIohlicNwgZgR3SJfnZCJ5T8dlmy1N9xH2KX4ZX5LR DgRwteT7hK3kEFkK3uIwcr+WBD/ioNofNC7SmINnCU278kMAazS7qQMkSZuo1W+pB7cerAkx Wxbl6ZotiJc2rlBsRFl1iiHB7EOAURUWE6k3w+F6dyztuQfZWqid6SxyFsrmNmgCL+YpQQPE H39e5okAWpx9pAmawmKjiC1tN2iIYGDCLBb/geZmBrBkeVPfZc4l/5QwDFiJXq4p3oujegyk R1p25i++omBMWRkuqyjUXs6fnX4Yd0e/jb1gONQhMGTisqmBZxgMjQQGpzjTfvuGTlUt+ytZ GPsWHUs72yWH7bSB1rV4VxvrlrOCNasPHGeYnASi9d6DkrVNAlUhwYaWy8/l5gyG1WxxcDvR 0x+4ygY+l/yrhYfr4Agfwm6SGrUox2kLyslUJXKZgQD9RlMvg2Gedzb9O94GDtUu4GsvBDYY HLOfBxGVARrEgSFAVvnI7Wjt9Db6+2IQOW5KPTKbLCHqOgYXPCNjZO3jtk/pG3KaJjJYCUkV qV8gRALS3l9H46xdywnbSsRmmqNaseaoE354ShrtoWl9/+tXgvz5IyJAr8UMNN1+hnwj73Rf +iXzD10LzpVzPZujTfB1aQf0VgOiipvayjlELIOsjTIRb7RnakfBgASaid6Ps9Fp6wm2QwFN cneg9Lznrl265x9Q09CTkDkk9q1aNYiPGy3clLcQkGANL3ALDaNwdm2KaKwRLtMjflF4h29v THIdi2rdj+HljTvS1WuKbQV13rdYkEY5t37K04+bAqrBMjrYRC6LtJt2Dg/wLluw2jPKXZZK z93NUVEsryX6ypcxPR5AW1IqHR/fozm026U6ffVLpEOvL5lGCNxwqhT+30747pOqiZPRPUzk SCUrMYk8DTE2qGfjyFqVhZDsGMBnIWQoUBrIrnU7LFfVHyC/QlL6m6QAlIDrJ1nEpe83sIYg siKn6X1JjBY9tvS9sZJHMnYJvWMN385OAboEjrZZOPkZSGmPyfenApam/GbsHSe6Joi+MCEc HUmS6QdU1c1H7UTAQJnBI5bSH+SdjI/17mQjMdO7HH4rgGDHK1n IronPort-Data: A9a23:+6J/iKyZvtLXDehyKkZ6t+cBwirEfRIJ4+MujC+fZmUNrF6WrkUFy DMWUW6OMqvYajb3fosjad618BwD78XUzdJlG1Nk+y00HyNBpOP7WOiUfxz6V8+wBp2aHRg/t 63ySfGZcZtqFieEzvuJGuK8xZWp/fjQHtIQMMadZGYpA1MiEH5/4f5as7ZRqpZyhtSkCB+6t 9r3osnOUHeowDcc3lg8sspvkzsx+q6p0N8klgZmP64T4AaDzyB94K83fMldEVOoGuG4IcbhH 44v/JnhlkvF8hEkDM+Sk7qTWiUiXr7IMAGSvWFdUq6kjwIqjnRaPnETaZLwwW8O49m4t4gZJ Odl7PRcei9wVkH4o9nxZjEFe81IFf0fqeWfeRBThuTIp6HOWyOEL/yDlyjaN6VAkgp8KTgmG fD1tFnhx/1M7g676OvTdwViuigsBI66H7Ejhi5d9C+HAeckUc38e4jO6uYNiV/chugWdRrfT 9UUY3xud1LHaB1GfF4cTpAm9AuqriCkKHsG9RTL+exuuwA/zyQpuFTpGNPOc92iRN4TmU2Yr yTP9CL7Gnn2MfTFlmDbqSP0276ncSXTQ48+TpLn/NVTsnKz+DBDMRIwSFmnrqzs4qK5c4kCc RxIoXtGQbIJ3EeiS924WxyjvFafrxsEUpxRFfc74UeD0MLpDx2xGWUOCD9aLtsttMZwTDds1 Efhc87V6SJH9+y2e06hqYqts22+KCoFcFA6SCsLdF5QizX8m73fmC4jWf5BKMaIYjDdBjz6h TGR6i81h7xVhMVN1b3TEbH7b9CE+8ehou0dvFm/soeZAuVRP9bNi2uAswOz0Bq4BNzFJmRtR VBd8yRk0AzxMX19vHfQGrVRR+DBCwetNzbciFhoGpgz6nyw/X+9cJpL4S1vTHpU3jI/UWaxO if74FoBjKK/yVPzPMeblaroWpxylcAN1L3NCpjpUza5SsErKVffoXs2NR/4MqKEuBFErJzT8 KyzKa6EZUv2w4w+pNZvb75Fi+V59TN03m7JW5HwwjKu1LfUNjbfSq4IPBHKJqo15b+N6ledu dtOFdq4+zMGWs3HYw7T7dEyK3IOJiMFHpzYkZFcWdOCBQtEI1sfLcHt74kvQKFbuphEt/zp+ yi9U3BIyVCkinzgLx6LW09Za7jufMheq34/DC1xJV25hmYSO4avyKIxdb8yZaYG9fNi/9FwX fIqa8WNOdURazXlqhA2T4jxk5xmTzuv3TmxBiuCZCMtWrJRXCnb04bAUiq20wdWFQuxl881g 4P45zPhWZBZGjhTVpfHWsyg33aanCY7mtsre2DqP9MKWkHn0LYyGhzLlvVtfv09c0TS9AC7i TSTLwwT/9TWgokP99LMu6CIgqGpH8Z6HWtYB2Pr1qm3BwaL4lucxZJ8b8jQcQD/TG/U/ICQV ddRxdz4M9wFmw9umKh4GLBJ06k/xoXOo5l38wdaJ0jIPm+bUu5YHnq73Md0pvJswJ1dslCIQ U6hwIRRFoiIH8LHK2QvAjQZQN6N7twuoQmK388JeB37wARV4Iu4VV5jOkjQqS5Fc5pwHoAX4 cYgn8806wflpAITHdKUqiUF9W2jA2ExbIA6v5czAavAqAki+ndda7PyVw7055C0MetRO3YMJ TavroDJ3ZpE50yaaFs1NyHH8tR8jKQ0miJh7QE9NXGWvOHal9kL3BF12hYmfDR/lxlo/bp6B Tl2ChdTO66LwQZNuOFCeGKdQyd6GxyT/x3K+WsjzWH2YRGhaT3QETcbJ+2IwUE+9lBcdBh9+ JWz6j7scRTuTfHL8hoCY2xXgN29coUp7SzHot6tIOqdFZpjYTbFvL6nVVBVlzTZW/EOlG/1j sg02t1vaJ/LFz8a+Iw6LIi46Y4+aj65IE56fPUw259RQE/9fmmp1CmsOnKBXJpHB8b3/H+SD +1sIcNyVCqC6huekwBDO4kyJ+5bof14wvsDZbLhGkAeuZS9sDdCkczd5wr+tkARUvRslscMG qXRfg+oCmeB2GVlwW/NiMxqOE69ecYlZRL97s+x4u4mB5IOi8AyUEAQg5+fnWSZDxtjxD2Q5 Dj8Xq7xy/dw7KhRhK7uL/lzPBq1ItbNS+i4ygC/nNBQZ9fpM82VlQcqhnT4HgZRZ509Zs9Wk OmTjdvJw0/1hrY6fGTHkZ2nFaMSx8GTXvJSA/3nPkthgiqOd8/90SQto1niB8Ryr+pcwc27S y+TSsi6L4cVUugA4kxlUXFVFhJFBpnnaqvlmziGkM2NLRogyi3CEsKs8C74TGNcdxJQAabEN C3Ph6+M6Oxb/aN2Pz1VN8E+VtU8aBXmVLA9ftL8iSiAAyP6yhmes7/ljlw75SuNFnCAF93g7 InYQgTlMi6/o7zM0MoTprkaUsf715qhqbJYkoMhF99KZ/SSE2MMa+UGd5INCpgSmye01omQi PQhqoc9IX2VYNiGWUyUDBffssO3B/dIPdz5L3og9AWWc09awaueVaB5+H4ID2heI1PeISLOF T3a0nzreB+6wpgvTO1V5OTTbSKLAB/F7ipgxH0RWPAez/rT7XvmGZCh8MdwufT7Lvzw IronPort-HdrOrdr: A9a23:4wIEs6slstdyjL9/cIh5ARk+7skDY9V00zEX/kB9WHVpmwKj+v xG/c576faasl0ssR0b8+xoW5PvfZq/z/JICOAqVN+ftWLd11dAWbsSj7cKtAeQfhEWjtQttp uIJJIfNOHN X-Talos-CUID: 9a23:aolbYW/OiU7zG9rsSReVvwlFOfIZTiLg9WmOL166GTtWcJCRRmbFrQ== X-Talos-MUID: =?us-ascii?q?9a23=3Ap1ImyA7vPdGNaHsf5Lz0WuJUxoxz7oj0Jx8Huqw?= =?us-ascii?q?0lOm6aXxJNBGAjii4F9o=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.23,179,1770591600"; d="scan'208";a="272639059" X-IronPort-Outbreak-Status: No, level 0, Unknown - Unknown X-MGA-submission: =?us-ascii?q?MDH2gXhNnLJLxUvf1T7W1UyLhjJwFF0GNsPpCd?= =?us-ascii?q?x+YNjjpS/LRv7K1y7Yj7ts16wVFjUEdNYXDgqsAQuQOKRoU/xVmIVeBX?= =?us-ascii?q?kylVxojX7MbbfEGyYveeNc8TIiPEaMJL/FOaOv7ZCndHtjHOv9tQ9vI9?= =?us-ascii?q?OC4L8e8mgf+GFbf1fvZThWyQ=3D=3D?= Received: from web.is.ocha.ac.jp ([133.65.64.10]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 15 Apr 2026 14:46:10 +0200 Received: from mail-pj1-f70.google.com (mail-pj1-f70.google.com [209.85.216.70]) by web.is.ocha.ac.jp (Postfix) with ESMTPS id 4fwgqb16CJz1N9Z3y for ; Wed, 15 Apr 2026 21:46:03 +0900 (JST) Received: by mail-pj1-f70.google.com with SMTP id 98e67ed59e1d1-35da99b90f6so8414719a91.1 for ; Wed, 15 Apr 2026 05:46:03 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1776257161; x=1776861961; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:to:from:date:x-gm-gg:x-gm-message-state:from:to:cc:subject :date:message-id:reply-to; bh=nqvQXxROriru5lDa74yy97H1DbADIfzTrIN8kV3rydM=; b=BMjgXVNelf41VGcoa+Vvm2lMAx2VdUDJOWtLpa3Jk7Ml3JuaumGm7p2cn6yCN0XAP+ CvwefjA+GkYWiKdifUu8qndzdcHov4j5p67Vp3uP+XIjkjP0G5Ljugmu+oj6MJfWvsGT /Z2TDgnD4RHjBZLLt0lQTaytS1/mDcfrohLEYjK4lRQtYpVAUbzx2OLdnJ9opr2H1yGm hdTRV3vc+WE4+FHx0hG8mg6JkXfyQF4YFwB8tZ4CFDcKtfM+jFBlkFSoC8h/wHiLLcl6 EWULLGQrxOHUtUe90HebsbTObj+TkEL+vTaVpja6wDNzTO6uBdft6hP2X9Bk+Sk75wXA FosA== X-Gm-Message-State: AOJu0Yy6IwjT/J1O/usVMNOseZJ09T7M5zclEhkQyWTA1iJARfCmpNkH 7+ch9iCILcY3+HhZS7um+g6deCmvDf2m4wQp2WQhyYBvcdHC07C/Wi9SbHPRgl+yYgkzhGe0ic0 2z0oy/xS7ytP/xgGhrWd2Ea6PqWDhu2cvyR5m2zBCLMglEpUMwWeN4ziiBqj9 X-Gm-Gg: AeBDiesRy3XefHZFH3i1z+z2QP9yjHFMyht80DZURYe+Jgyrp1ESpeEmSzRwzLzp1yL L+dGPx/JE4cMtSmjA4DRmH3gO+0u/acMQ2lrcdxsoBzq+SKzlPd0zxyHiiDd8FtniE8aiAz6yt0 1RH41c6a3jkaXKC7Uq48ttibR7GlQfGxfGn2lMKfhgSUSdZLY0Wy9XRIxFCcjOQtNphx+q5pqPk XFw3UPZjfl3uSiGcKsCvX3aPG1PevL4HNpswsDoJqYaf7ygmCTMooAoYfvOZCFDswvTIkkALYan IdObnBGk5aJ9YFUklKb/fTbaoxy12X6T+BeYhT59fkgVvvMXAf67txvdPnVt/tqhFMsXYhNVSmz Iz/dD/USNX7s4mY3kTFrKhe3Ve7wpzJCu77vVcdN68PXoXafugh1XpOrhFsxOIqqzX41dG3VlQn 1UeIWjVK84sbqDbnPY X-Received: by 2002:a17:90b:17c4:b0:35d:9c43:57fe with SMTP id 98e67ed59e1d1-35e4280cc70mr22041236a91.13.1776257161286; Wed, 15 Apr 2026 05:46:01 -0700 (PDT) X-Received: by 2002:a17:90b:17c4:b0:35d:9c43:57fe with SMTP id 98e67ed59e1d1-35e4280cc70mr22041203a91.13.1776257160812; Wed, 15 Apr 2026 05:46:00 -0700 (PDT) Received: from localhost ([240f:101:8218:1:da3:a2d1:9fbb:f3c1]) by smtp.gmail.com with ESMTPSA id d9443c01a7336-2b47826e248sm20537145ad.47.2026.04.15.05.45.58 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 15 Apr 2026 05:45:59 -0700 (PDT) Date: Wed, 15 Apr 2026 21:45:47 +0900 From: Kenichi Asai To: caml users Message-ID: References: <20210305050509.GA97697@pllab.is.ocha.ac.jp> <20210305140334.GA6750@pllab.is.ocha.ac.jp> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: Subject: Re: [Caml-list] a simple example of compiler-libs.toplevel? Reply-To: Kenichi Asai X-Loop: caml-list@inria.fr X-Sequence: 19488 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: Five years ago, I asked a question to this mailing list on how to create a copy of the OCaml toplevel using compiler-libs (so that I can customize it). I am trying it again. The thread is here: https://inbox.vuxu.org/caml-list/CANhEzE5tOqq7JXA47tmkQcnF6Bz70eU8jPBT+=+g2EwQ7cNf6Q@mail.gmail.com/T/ What I did is to copy the necessary files from the OCaml source (I am working on OCaml 4.14.2.): topstart.ml, topmain.ml, toploop.ml, topeval.ml, topdirs.ml topcommon.ml, trace.ml, genprintval.ml rename them to my_topstart.ml, my_topmain.ml, etc, rename all the module references to the new ones (My_toploop instead of Toploop, etc.) and compiled them with compiler-libs. See the toplevel1 directory of: https://github.com/kenichi-asai/toplevel-experiment However, when I compile them (by "make"), and execute the binary, I get: $ ./toplevel OCaml version 4.14.2 Enter #help;; for help. # let a = 3;; Error: Reference to undefined global `Toploop' # Why does this happen? When I search for "Toploop" in the OCaml source outside the toplevel directory, I found lambda/translmod.ml mentions it: let toploop_ident = Ident.create_persistent "Toploop" Does this mean the toplevel must be given by the Toploop module instead of My_toploop? As a second attempt, I created the toplevel2 directory of the above repository, where I did not rename files to "my_*" but used the original names. When I compiled them and execute the binary, I get segmentation fault (!): $ ./toplevel OCaml version 4.14.2 Enter #help;; for help. # let a = 3;; Segmentation fault $ What's wrong? How can I create a copy of the OCaml toplevel using compiler-libs? Any help appreciated. Another question. I also want to use dune to compile, instead of OCamlMakefile. I provided dune and dune_project files in the repository, but when I execute dune build, I obtain the following. What am I doing wrong? $ dune build File "dune", line 2, characters 7-18: 2 | (name my_topstart) ^^^^^^^^^^^ Undefined symbols for architecture x86_64: "_caml_get_current_environment", referenced from: _camlDune__exe__My_topmain__fun_2483 in dune__exe__My_topmain.o _camlDune__exe__My_topmain__1 in dune__exe__My_topmain.o ld: symbol(s) not found for architecture x86_64 clang: error: linker command failed with exit code 1 (use -v to see invocation) File "caml_startup", line 1: Error: Error during linking (exit code 1) Thank you in advance! -- Kenichi Asai