From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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= Authentication-Results: plum; dmarc=fail (p=none dis=none) header.from=mpi-sws.org 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=JiqTtReD; dkim=pass (2048-bit key; secure) header.d=mpi-sws.org header.i=@mpi-sws.org header.a=rsa-sha256 header.s=mail202309 header.b=h+alEvlm; dkim-atps=neutral Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id E8FECB80123 for ; Wed, 13 Nov 2024 09:46:04 +0000 (GMT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:from:in-reply-to:date:cc: content-transfer-encoding:message-id:references:to: subject:reply-to:sender:list-id:list-help:list-subscribe: list-unsubscribe:list-post:list-owner:list-archive; bh=+aMjryx6D4DETFtaifDXyrL5qNgEAIImlCGNbo2uMLg=; b=JiqTtReD9LWeXain+sn1rxTKg95yQjN4n0YtzyvDT/Lq+v1UvyGh6Guj mrqd/oLakx8D+wOWhqPaBolmSvEH27kh2jKseE+fJwAOdR9ytyb3wSriZ +jvDqGkYNkSx1AY8YF/TMlbp+XkyU5nuAHg9jUro5qdw+R8zIY1z5vyR2 w=; 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=pass (signature verified) header.i=@mpi-sws.org X-IronPort-AV: E=Sophos;i="6.12,150,1728943200"; d="scan'208";a="193560918" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 13 Nov 2024 10:46:03 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id E9BA7E0D1F; Wed, 13 Nov 2024 10:46:02 +0100 (CET) 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 8A462E0133 for ; Wed, 13 Nov 2024 10:46:00 +0100 (CET) IronPort-SDR: 67347558_Vcf4YGq5OzYblelqrWnupwjIPRyQ5wrmdm6jtbt8UchVZ7Z 0myGoaAX1j+6qKEjuOaIBbjrviD2qu5qPth8QCA== X-IPAS-Result: =?us-ascii?q?A0FGAACsdDRndw9WE4taGgEBAQEBAQEBAQEDAQEBARIBA?= =?us-ascii?q?QEBAgIBAQEBQIFTgkSBWDIEC0iEVoh8hlGCJKATDwEDAQ1BAQIEAQEDAQOFA?= =?us-ascii?q?AKKPwIeBwEENBMBAgQBAQEBAwIDAQEBAQEBEAEBBQEBAQIBAQIEBgECEAFDS?= =?us-ascii?q?YV7DYJbO4IWLA1+AQEBAyMdAQE3AQ8LDAwCAhgOAgJWBhODAYJlAwSxCIEyg?= =?us-ascii?q?QGCDAEBBt4DCYEaLgGISwGKYCcbgg2BFScLEIJoPoRDg1s6gi+CRXqDLXYlg?= =?us-ascii?q?RaIAZh3SAplFnghEQFVEw0KCwcFYEkhLAOCUgV6K4EOgRc6AYF9gSJKgzyBX?= =?us-ascii?q?gU3SYJKaUs6Ag0CNoIkfYJPgSUEBYNsgQuDYoRmglEdQAMLGA1IESw1FBsGP?= =?us-ascii?q?m4Hnk1GhCovgk06klqTWJ9MhCSEb50el00GknqYd6Q9AYRlgX4jgVxNMAg7K?= =?us-ascii?q?gGCPD8QAxkPjiGJDsEkQzQ7AgcBCgEBAwmFRQEBAYlQgUsBAQ?= IronPort-PHdr: A9a23:wzLTrRZqq1KDwZjuhOnh3Pr/LTH42oqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1waPB92Qs60My7KP9fy7ASpYudfJmUtBWaIPfidGs/lepxYnDs+BBB+zB9/RRAt+I v5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkJ6KevvB4Hdkdm82fys9J3PeQVIgye2ba9vI BmsogjcuNQajZF8JqotxRfFvnlFcPlSyW90OF6fhRnx68ms8JJ57yhcp/ct/NNcXKvneKg1U bNXADM6Pm4v48HlqQfNRhaV6HsGVWUWnBtIAwzb4xz/Q5z8rCj0uPdj1SeDJcH5Qqw6Vjqk7 6dwVR/nkzwHOCIj8GHWkcN/kqRWqw+8qhNlwo7UZIaVNOdifq7YYNgXS3ZNUtpXWidcBI63c okBAPcbPetAs4byqEYAoxu8CgeiGu7hxTxGhnHo06M9yOkhDRjG3Ak8E9IOrHjZrtP4P7oSX +Cvy6nIyC3OYu9Q2Tjg8ojHbAouoeqRVrxsdsrR0lIvGBjbgVWKpozuIjSY1v4Ks2iA9OpvT vygi3Qoqwxqpziv3sYshpDShoMb0VDI7yJ5wJw6JdChTkNwfNGrHodKuS6AK4t2Xt0tQ3tuu CsixLMIuZ22cDYLxZkj2xLSZfyKfoaM7x/tSeqcIDR1iGxrdb+9hBu/7Vasx+PiW8e01FtGs jdIn8XRun0OyRDd5M6KQeZ+8Ee5wTuDyg7e5+VeLUwpkafXMZ0sz78qmpYOsUnPBjH6lFjog KOMeEgo5vKk5urmb7n8uJOROZJ4hwfjOakwnsy/HP84MhQQUGiB5Oq81bzi8lPhTblWiPA9j 7PXv4rAJcsBo660Gw9V3Zgn6xa4Fzqm0skYnWEGLFJZZh2HlZLlO1TWIPD5FPu/gFCskCxwy PzcO73hGprNImLen7j/Zbp96khcxxQvzd1H+p5ZBLUMLOjuVkL1rtDVDR40Pxapz+vnENl90 5kRWWOLAq+XKqPStlqI6/o1I+mLf48Voy3yJOY/5/7hlnI5nEcdfaiw0ZsMZnG4Be5qI0KDY XrjmtsBF3wFsRIkTOP2kF2CTSJTZ3GqUq4h/j07Ep6pDZ/fRoCxh7yMxDu0EYdTZmBCE1yMF Xbod56YW/oXcyKTIsphkiQeWrS7So8h0wuutA7gxLZ9IOrU4H5QiZW2+NFz5uDX3Tum8y5wD ozJ32iLTmxw2GkVSjkk2KFXrFZnw0uCyLV1xfdYQ499/fRMBy48OYTRxvcyMdfpQQjMZNjBH EyhWc6sDCs+ZtcpwpoVfF07HM+t2EOQlxG2CqMYwuTYTKc/9bjRiiCZz6dVzn/H0PJklFw6W o5UMnXggKdj9g/VDoqPkkODlq/se75PlDXV+jKlymyD9FpdTBY2Sb/MCGoYfVDcoM72zkbaT vq1Fq9hNRFOmoaZMqUfUtTylh1dQev7ftHXYma/gWC1UAyP3aiGYZDlU2AF3WDGF1NClBocr j6dLQZrICCnrirFCSB2U1LiZ0S56e5ltHayVVM51SmIclVgy7evvBsNhLmfT+gZmLcct2Etp l2YBX6b2NTbQ5qFrgtlJ+BHZM8lpUxAzSTfvhB8OZqpK+ZjgEQfekJ5pRGm0RI/EYhGncUwy RFihANvNaKV1k9AfDKEzNjxPLPQMGz74BGobebfxFjf1N+c/qpH5u4/rh3vuwSgF0xq9HsCs ZEdyXyH/Z/HFgU6VIrwF10o7F59vb6bKigx6oXI1GF9ZLGuu2yK0NYoCe05jxe4Ko4EYeXdR UmiTYtDWpvLSqRigVWiYxMaMfoH8ac1O5jjbP6awOuwO/4mmju6jGNB6YQ700SW9iM6RPSbu vRNi/yewAaDUC/xyVm7tcWi05pDfioYE3Cw4S38BctKebY0epwEQzTLQYX/1pBlipjhVmQNv kSkHEgM1dWmUR+KbhnmwhYW0l4Y6y/C+2Pw33l/lDcnqbCa1SrFzrH5dRYJDWVMQXFrkVbmJ YXcY8kyZEGzdEBpkRKk4R2/3K1HvOFkKHGVR05Ufi/wJmUkU62qt7PEbdQdoJ8vtCxWVqy7b zX4AvbnpAAB2S75EENb3DF+bC6x/JLjkFR2hXmcI3B6sHfCMZgrlFGGtZqMG7gIg3IPX2Fgh CPSB0SgMtXMn53cjJrFvu2kFiqgWpBVbSj33NaFvSq/63dtBE73lPSyl9v7VAkihHaghp8zB GOY8lClP9qOtezyK+9sc0h2CUWp7sN7Hto7iY4snNQL3mBcgJyJ/H0BmGO1MNNB2Ku4YmBeI FxDi9PT/gXh31Vua3yTwIesHG+a2dBrasO1SmYO22cm8NsMD72bpu8h/2M9sh+joATdbOIo1 C0a0uAk5WQVq+QRuU820T7bBaodVxo9X2Skh1GD6Nawq79SbWCkfO2r1UZwqtumCamLvgBWX HuqModnByJ76d9zdU7dyHCmoJ+xY8HeNJhA03/c2weFleVeL4g90+YHlTYyc3yopmUrkqYy3 xxjx5j8uZCGbmZp56j/BwZXcDH4AqFbsji/j7tYmYCTx4HqHZF6EHMORJSuQf/gGWAKsen7M ECLCDx5qXOAE/zaBQDZ5EoDzTqHGsKiL3aTIH5fyM1jARqZP0YZhRgbGjk31pdrFB2yxdDsa gF8/jFU5VrjoF1J0u0uOxSaMC+XrVWwbSw5SZSYKlxT9gAH5EPOO4qb9u01EywQ98+otgGWb GmDZkFLCXoDHEmcCBbvM9zMrZHJoeiVHO+zNL3LebTLquhFXbGN3Z3p3oYuqD+IMo/n0mBKK fo91wIDWHl4H5+cgDATU2kMkDqLaceHpRC68ykxr8al8f2tVhi9rY2IQ6BfN9li4XXUye+KK vKQiSBlKD1ZyoJExHnGz6Ia1UITjCcmfiekELAJvyrABKzKnaofAxkeYiJ1fMxGisB0lhFKI tLeg8jp26RQjOMtCktITxrkgsDsZsgRKSe4LFyBCEvKfLWKKDvXwt3mNKOxTboD6Ycc/xa0u DudDwriJmHazGivDkHpYb8K1XzIWX4W8JuweRtsF2X5GdfvaxngdcRykSVz2roswHXDKW8bN zF4NUJLtLyZqy1C0ZAdUyRM6GRoKe6clmOX9e7df9wMtuBwCClumMpf+HV/0KROqiZeS7Ym/ Uma5s4ruFygnuSVn3B/VwFSrz9QmI+RlUd/IaTF+4MGXG7FuREJ9m/WDgwF4ddoQI6K2egY2 p3Ek6T9Ly1H+tTf8J4HBsTaH8mANWIoLRvjHDO85O4tSCaqcHrAnApaiv7ArhV9T7A4t4Dth JcUDLpDVRk2EugQTEF9E5oOLcUvNtvLubuDjYsT+mH4qwPeFpwygw== IronPort-Data: A9a23:aPPPkaOFJUuggHLvrR1bk8FynXyQoLVcMsEvi/4bfWQNrUpz0DZSm GYdXmvSMviNNGWketB3PIWzo0MP6seGzINrSHM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYQXNNwJcaDpOt/va8Ug35ZwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGXebmXdyvJgHXgZHo8C6/c0XntFp a0HfWVlghCr34pawZq5V/Ftmsk5aszzPcYcvmpqizTBArAqTPgvQY2Tvo4ehWZ21p4IRKu2i 8kxMVKDaDzaZAZUMFoNB7o7hObtnWbkNTpCpzp5oIJuuzGPklUugeOF3Nz9deawHdRpj0Gjq kHqvEL1AAgeLtvO4G/Qmp6rrrWfxXimBOr+DoaQ/fdvhBiXx3cPIAYHUEOy5/i/kE+3HdxFQ 3H44QIssLAz6EGxCNzlXli7pGWO+BsEVJxcHoXW9T1h1ILM/hioD28KXwduS948pd51GiYhh g6WyoaB6SNUjJWZTneU97GxpDy0ODQIIWJqWcPiZVZdizUEiNxo5i8jXupe/LiJYsrdNRyY/ txnhCojn7QPgNRN0r26uFPDmDjqo4DGCAI4juk2Yo5HxlwkDGJGT9X2gbQ+0RqmBN3FJrVml CJZ8/VyFMhUUfmweNWlGY3h5o2B6fefKyH7ilVyBZQn/DnF0yf8JtkMu28lehc4YpdsldrVj Kn74lw5CHh7YCfCUEOLS97Z5zkCk/W9ToqNug78MoMUMvCdizNrDAk0NRbLgjyFfLkElKgvf I+feMCnDjMbD797zSarW68TzLIxjiE4y2TJQJnnzhfP7FZtTCP9dFvxC3PXNrpRxPrd8G3oH yN3bpriJ+N3CbymOnG/HE96BQxiEEXX8rit9JIGK7Tfc1s2cIzjYteIqY4cl0Vet/w9vo/1E ruVAye0EXKu1CWVGhbAcX15drLkULB2qH9xb2RmPk+l1zJnKcyj5bsWPcl/N7Q21v1R/dgtR dk8euKEHqtuTBbD8G8jdpXTltFpWymqogOsBBCbRgYDUaRufCHzwe+8TDDTrHEPKgGVqfoBp 6aR01KHYJgbGCVnIsXkSNOu6FKToXMym/55BEfaBtwCaXf90ZNLLhbphaQdOPA8KhTkxxqb2 T2JABwem/L/no8t/PTNhoGGt42MEdYiLnFFHmLe06m6BRPa8kWn34VEduSCJhLZa0/Z54SgY r9z48znEfhagmtPjZVwI4xrwY06+dHrgb1QlSZgPXfTamWUGqFSGWaH0eZPp59y6Odg4yXuY X22+/5eJbmtE+HmGgRIJAMaM8Ky5ctNkTzWtfkIMEH24RFsx4W+UGJQAgKtjRJMJ74kIaInx uYc4PQt0TKdsSZzENi6jXFzzV+uf1ggSKQss68IDLD70jQLzk5wWr2CKyvUzqzWVfByHBgLG AKEvIvDmLVW+WTaeVURC3Xm/LRQlLYOij9w3X4AIFWAnOTaj88N2BZQrCg8YQdJx09XwdNyZ 3RgGEZoF4qz/hNDpstKb0azES5vWTyb/U3QzQMStWv7FkOHaE3EHFcfC82son8L1n16VSdJ2 Z2l00DnWibOUOCr+wVqQm9jifjobeIpxz34gMr9Qvi0RcgrUwTqkoqFRDQuqSK+JegTmUeeh +1h3NgoWJ3BLSRK/pEKUdiL548xFiKBCndJG8x63aUzGmrZRjG+9B6OJ221eeJPP/b6ylC5O eM/OvNwUwmC6wjWogA5HaIsJ5pGrMwt7vcGeZLpIjcimJmbpTxLrpnR13bfgEkGftZQqvs+e 7jhL2+6Lm+thHVvizDsqutAMTGGetUqXlD389201+QrLKg9lt9QX3s86IbpgEXNAjBbp0qVm Cjhe57py/dTzNUwvon0TYRGKQaGCfLyc+Wq7AucsMhFNt/dFcKfpjEEi0LGOj5ONuA7QOVHl rWqsf/20njavb0wbXvrppmZG4RN5uSwROByMP+rHEJFnCCHZtDg0yED90+8N5ZNttFXveuje CeVd+qycoQzd+pG5XgIdRVbLQkRO573Yojkuym5ifaGUToZ8A7fKeKY5W3bVn5aegAIKq/BJ FfN4dj23e9hraNIGBMgLNNlCcUhIFbcBI0XR+eovjycVmSVkleOv4X5riUZ6BbJN2KlFfjr6 peUVzn8cxWP4Jvz9u97iLArnBMrDydau9ISL3Ito4s8z3jwCWMdNu0SPKkXEpwewGS4yJj8Y yqLd2c4Tzn0WTNfaxjn/dD/RUGlC/cTPsvibCkcl69Oh/xa2KvbaFegysth35uyUjn+1OC7J MtY/2Xxexu12ZsvQP4coPC26QuiKjU22VpQkX0RUeSra/rdPVnO/Hl5HU9WSjeBFNvC/KkOD XZgXnhKGSlXVmaoefuNuBdp9NUxuSvuii43dmGI2tm3V0B3CgFf4KWXBtwfGYHvoCjHyHDii J83q6awD7iq50Eu IronPort-HdrOrdr: A9a23:0JT7Zq2Njn7+LDBwXd+8uAqjBJskLtp133Aq2lEZdPWaSL37qy nIpoV/6faUslossRQb8uxoV5PwIk80maQV3WBVB9eftXfdyQ+VxfBZgrcKqgeIc0eSygce79 YGT0EUMrPN5DZB/KDHCXGDYq8d6cjC9LrtnuvXxWpsSwZxApsQlztENg== X-Talos-CUID: 9a23:qmpzgmEsBxrp03ftqmJ/6VAlE8crY0Ty73XKMl77VnxiGOyKHAo= X-Talos-MUID: 9a23:h+5PmQaLjhPIzOBTuAXW3CBeJcBT74eCS2YBk4wCoc7VHHkl X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.12,150,1728943200"; d="scan'208";a="101461793" X-MGA-submission: =?us-ascii?q?MDFZjANOZNKVWnGsPOZ2Y1+Fp++SFA1LtmXxgN?= =?us-ascii?q?m371o9QT6unplAW5A4jt/iMAB9JiYSiYQPpVJO8sTqEwTCPvJ0DsKAR+?= =?us-ascii?q?4Zj34qkK7+Bqye3E8tN/XtTeLDzv+Shd/5/tpf6CWvSOzPUeBsoUptMr?= =?us-ascii?q?5Mty1MZtQCCtukAGTlzbdOAQ=3D=3D?= Received: from jupiter.mpi-klsb.mpg.de ([139.19.86.15]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 13 Nov 2024 10:45:59 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=mpi-sws.org ; s=mail202309; h=To:References:Message-Id:Content-Transfer-Encoding:Cc:Date: In-Reply-To:From:Mime-Version:Content-Type:content-id:content-description; bh=+aMjryx6D4DETFtaifDXyrL5qNgEAIImlCGNbo2uMLg=; b=h+alEvlm6Z/EbtcM+/k3LeXAzx HWxQ+moTQ7x7UcpAnSOpSRFd5VcLXmnub71H3CnZJ1IxLrFvctReABtjsFNq+j51vCxry8OMfZOEZ i4Tqhgi5l7guWJ1vXAxXIZviCMnjdqrjjd32SvIhy6riM28uactmjDWQyol57Du8feNKpK6kDGwFM fJ8HaWhBZn2O63lPwtH/KDFvVKL+fsJXZ6MzQqAD7C3yRMcLTZ6JthANRq5z4/9q4FWrYLOrVbtRC iHi158yHIW/3eHYnK2JqfA9SxHaG9DyRa3/vj9oVH2zYbzu/+WgUtN9PIZfUwraS94ml9f49Oz5jp TqA+PZvw==; Received: from srv-23-0407.mpi-klsb.mpg.de ([139.19.205.26]:35150 helo=maniac.mpi-klsb.mpg.de) by jupiter.mpi-klsb.mpg.de (envelope-from ) with esmtps (TLS1.3:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256) (Exim 4.98) id 1tB9we-00000003Jyy-0X0R; Wed, 13 Nov 2024 10:45:58 +0100 Received: from [212.30.36.231] (port=41905 helo=smtpclient.apple) by maniac.mpi-klsb.mpg.de (envelope-from ) with esmtpsa (TLS1.2:ECDHE_SECP256R1__RSA_SHA256__AES_256_GCM:256) (Exim 4.96) id 1tB9wd-00Era0-1l; Wed, 13 Nov 2024 10:45:51 +0100 Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3774.600.62\)) From: Andreas Rossberg In-Reply-To: <76aQzHorTXNXB9VNMtHCyZHizX5L2QasWKOSiTaBym7bqOt3H8NvIhYnysxTlEu54KnwJfs83OsvtANxqMQ0nxMrwWWGn1ez2MjPC7RN4JY=@erratique.ch> Date: Wed, 13 Nov 2024 10:44:33 +0100 Cc: caml-list@inria.fr Content-Transfer-Encoding: quoted-printable Message-Id: References: <7F296476-3CFC-4E74-B3F9-462A438A1BD6@mpi-sws.org> <76aQzHorTXNXB9VNMtHCyZHizX5L2QasWKOSiTaBym7bqOt3H8NvIhYnysxTlEu54KnwJfs83OsvtANxqMQ0nxMrwWWGn1ez2MjPC7RN4JY=@erratique.ch> To: =?utf-8?Q?Daniel_B=C3=BCnzli?= X-Mailer: Apple Mail (2.3774.600.62) x-ms-reactions: disallow Subject: Re: [Caml-list] ANN: Boulder Dash in OCaml Reply-To: Andreas Rossberg X-Loop: caml-list@inria.fr X-Sequence: 19203 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 13. Nov 2024, at 00:28, Daniel B=C3=BCnzli = wrote: >=20 > As WASM support is being merged to js_of_ocaml [0] this is screaming = for a web page implementation to taste your own food :-) (and would nod = to [1]). >=20 > I quickly tried to compile to js with js_of_ocaml's graphics version = [2] but I timed out before getting something functional. Good idea! I also spent an hour just now trying to get it to work with = either js_of_ocaml or wasm_of_ocaml, but failed. It builds fine, but = with the former I just get an empty page, while the latter produces a = mime type error somewhere inside that I don=E2=80=99t quite grasp. I admit that I have very little experience with these tools, or web apps = in general. Perhaps somebody more knowledgeable wants to give it a = shot=E2=80=A6 :) Cheers, /Andreas