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=DptNTohp; 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 F0B2F40016 for ; Wed, 23 Apr 2025 14:11:04 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:message-id:mime-version:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=AB23rlZpKHyyXVpEWTTcdFbX+kjY2IDuTGpZnWDM8j0=; b=DptNTohpHKpHIb9UNkZl71ORB2xsbpZkAEPA9NEj7EthM/ubJvUCgFF9 5N8YLObZAzy4w9hPhPZDKjdStw3dZi75zV/bY3CYID5BCRsQmdjMcttDj W2ZcR5TkKYDUY7VPv44WasoEHoaYIG+JQyccNVNUJuJ84wH/IWG/wqiK6 s=; 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.15,233,1739833200"; d="scan'208";a="219124060" 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 16:11:03 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 90ABDE0D27; Wed, 23 Apr 2025 16:11:02 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id A382CE007A for ; Wed, 23 Apr 2025 16:11:00 +0200 (CEST) IronPort-SDR: 6808f4f4_XHe9Wq5tiDjLn3gO6A2LxZHaoYUFZxrQVeniyqytKUxolws qvrZvpFE4ywT/QAyNzc0ciOk64N/tv8xW0jt3OQ== X-IPAS-Result: =?us-ascii?q?A0HNAwB99AhogApAQYVaHgEBCxIMQIFIC4FyUoFYMgQLt?= =?us-ascii?q?SSBfgYJAQMBCwEBQgIEAQGQNgIeBwEEMQgOAQIEAQEBAQMCAwEBAQEBARABA?= =?us-ascii?q?QUBAQECAQECBAYBAhABAT0FFzKGCIJbhCAVE4EwIwEFAVeFRQIBAaRlgQVCi?= =?us-ascii?q?zyBATOBAd1zK1SBMBSBNYhQAYslgg2CHoIJhWaFdwSCLYEXnjqBTRwDWSwBE?= =?us-ascii?q?0ITFwsHBW1hAhkDgQ9uCBIbHYJXgguCcwIlghGCBIIlhmeEUi1PhTJuHUADC?= =?us-ascii?q?209NxQbmkaBQoE9QI88B5Z4n02BPoQlhFEfnHMzg3CTVgyTBZh+qQoCCgcHE?= =?us-ascii?q?SOBRQE4gVwzGggwO4JoTgMZD9QENXACBwsBAQMJhUMmE4oggUsBAQ?= IronPort-PHdr: A9a23:19NcbhwJqMlE64bXCzICwVBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z xaZva0m1gOXDd2TwskHotSVmpijY1BI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yN s1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDebRtEiCChbb9uI xm6swrcu8gVjId+N6081gbHrnxUdutZwm9lOUidkxHg6Mmu4ZVt6T5Qu/Uv985BVaX1YaE1R qFGATolLm44+tTluQHMQgWT6HQcVH4WkgdTDAje8B76RJbxvTDkued7xSKXINf5TbEwWTSl8 qdrVBrlgzoJOjIl7G3ajNF7gaRGqxyjuhN/2ZbZbo+VOvRgY63TftwVSnZcUctKSyxNHpmxY 5cTA+YdI+pVqZT2qVsUrRu5AAmhHObhxSFOhn/3waI60+UhGhza0Qw7Bd0OsWnfodLvO6cJS ++1zbLFzTTYb/9M3jfy9IjIfQo7rf6WQb18a8jRyVE2Gg7Dk16fppDrMSmP2eQRr2iU8fBgV eS3hmMkrwx8oCWjy9ovh4TJh48Z11HJ+Cp3zog6ONG0VFN3bMCrHpdMsyyWKpd7Tt8+T211t ys31LMItICncCUIx5oqwQPUZf+fc4WQ/x7uWuicLS15iX9lYr6yhhm//VK9xuHgTsW4zllHo jZLktTJq3wBywHf582ER/dj40us2jOC2x3W5+xKLk04iajWJpsjz7EqmZccq0HOEy3ylUrrk qObc1go9fSm6+nnZLjtu4GRN4tpigHlLqQhhNa/D/k5MgkPQWeW4fiw2bv+9kPjWrpKlOc5k qzBvZDaO8sboqm5Dhdb04k98BmzFTam0M8CkXkAMF1FeAiIg5LzNF7SOvz4D++/j0ytkDdt2 f/GIqXsDojDI3XNirvsfLZw51RdxQc819xT+o5YBqkEIP3pW0/xsNLYDgU+Mwyx2+voEs592 ZkfWW+UA6+ZK7nesViU6eIvOeaAfpUatyrnJ/gn//7ilXk5lkQFcqmzwZQXcGy4HuhhI0iBf Hbgms0BHnsSvgoiUOzqj0WPXiJJaHa3W6Iw/zU7CIO9DYffXY2tm7yA3CKjHpJMfGxGC1aME W3pd4qeQfsMZjiScYddlWkPXL2lDosgzg2GtQngyrMhIPCH1DcfsMfA2d507O3S3Tgp/D08W 82G2mClTnoymWgITnk/1+Z9uRoumR+4zaFkjqkARpRo7PRTX1JiXXa95+lzCtSoHxnEYs/MU lGtBNOvHTA2SNs1hd4IeUd0Xdu43VjYxyT/JbgTmvSQAYAstLrG1i34PM9843fdkq4qj1BgS 8AJN3X1zrVn+V3rDpXS216ci77scK0d2CDX82LWxHGHvWlZS0h3WqXMG3kUIEnO/pzi/k2Xa bioBPw8NxdZj86PLqwfctrykVBPX+vuIvzBbmj3mnz2Ah2Iz/WFZ8zoYw3xxQ37D04J20AW9 HeCb00lAzu55njZB3poHE7uZEXl9a9/rmm6Rwk61VPCaUopzLez9hMP4J7UA/oOwrIJvjsgo DRoDR682dzREd+Juwtmeu1Vf9o85F5N0W+RuRZ6O9SsKKVrh1hWdAoS3Qum3g5+C61Bio4tp 3MjigN5b6CAkRtAez6ewZHsK+jPMGChtBuraqPQxhTfyIPPofxJtql+9Qml5Vn6cyhqu29q2 NRUzXaGs5DDDQ5IFIn0Tl5y7R9x4bfTfig64YrQk3xqK6i99DHYiLdLTKMozAite9BHPeaKD gj3RocTHMGvAO0x3V+ibhtCNesU9rZ+bKbEP7OWnbWmOupthmfshH9O4ah8yQSL/Cp1DOfDm ZQdiaLQzk6MUDHyi02ku8b8lNVfZD0cKWG4zDDtGI9bYqAakZ8jMW61OIX3w9x/g8SoQHtE7 Bu5AFhA3sa1eB2UZli73AtK1E1Rr2b10Se/yjV1lXkuoM/9lGTH2O3jXBscfGlARGAkhFyqI 5D8g90BXUeuZhQkj1P8vh28mfUd+vg5djGbSFwAZyXsKmB+Tqa809jKK9VC7p8lq2QfUeixZ 0ybVq+ophIb1y35GG4NjDs/djysptD4h0kj0znbcis18iafIJkjoHWXrMbRTvNQwDccESxxi D2NQ0O5I8Hs59Kf0ZHKruG5UWulEJxVayjii42a507ZrSVnBwOym/erl5jpCw8/hGXyzNBrf STT6hH3YoCt3q/8M/otLSwKTBfsrtF3HI1ziN56jYoZ2FAbndOS9noO1274d9dDk/G2fD8GQ jgFxMTQ6Q7u1Rh4L36H8In+U22U3sprY9TpBwFekjJ49c1BD72YqaBVhSYg6ETtthrfOLIu1 idY0/Yl72QWxv0EqBZ4hDvIGagcRCw6dWTtkR+M8tyz/qxMfGO/N7e300V6kNWoDbXEqQZZE HfhJsV7RnQ2sJg5bg6KiSW0sdusbtDUaZh7WgS8tRDGgqAVLZswkqBPni97ISfnunZjzecnj Bto1JX8vY6dKmwr8rjrShhffib4Yc8e4FSPxe5Xg9qW0oazH55gBiRDXZ3mSuitGS4TsvKvP hiHETk1oHOWUbTFGgrX5EBjpnPJW5elUhPfbGEe1slnTQKBKVZ3nw0eGjQh2JkyFgnszcenc l84rjEd61jkqwddn+JlMx6sNwWX7AysazoyVN2eNE8PtVoEuRqTb5DYt7ogekMQtoespwGMN GGBMgFBDGVTH1eBG0imJL6lo9/J7+mfAOO6afrIe7SH7+JEBJLqjdqi1JVr+zGUO4CBJH5nW rcywUNCdXFiXcPSmzxJQidRlTqHPKv57F+svzZ6qMyy6qGhQAX0+Y6GEKdfK/1w9hrwgLzFM OWQjWBwInBaztlfoB2AgKha11kUhSZ0cjCrGrlVri/BQpXbnapPBgIaYSd+XCOpx70x1E9MI ojcgdP8kLdzyPwtWQ8tvbPJm9rvYscKKie0PxXFHBTSXFxjDTzQhcb8Yar6QLYWjv0G73WN IronPort-Data: A9a23:D1XIgKydJNa/xNFK4oF6t+fTwirEfRIJ4+MujC+fZmUNrF6WrkVSy jQYWm/VPPiOZWr8eYgjbY+x9E4PuMeEz4JrTAJopFhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjgmMc3l48sfrZ9Usz5q+q4Vv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPvmdNfAGwqHbQa6+9RBG1ir e5DFRokO0Xra+KemNpXS8Fzi85lLdKtO4gfszdpxnfbFZ7KQ7iaGP6Mu4Iegmt235gm8fX2P 6L1bRJmdx3BSxxUfFAcCJt4lezuhGGXnzhw8gvE/PBruzCIpOB3+PuqG+P2YIPSf9kLgUOqt kXr0F3ERR5PYbRzzhLeryj82rSe9c/hY6oZHbi8s/prm0G73X0WEBRQVF2hoPD/hFTWZj5EA 1MZ8Gwvtu41/0yiCND2GR+gyJKZgvICc9kKNdw2xR2t86jF6iCcCkRcXGV8QvVz4afaWgcW/ lOOmtroAxlmv7uUVW+R+9+oQdWaYnZ9wYgqPnVscOcV3+QPtr3fmTrtdr5e/EOdkdD/XzDrh TeBrCF4jr5Vj9ZjO0SHEbLv32zESnvhF1BdCuDrsoSNtFIRiGmNPdDA1LQjxawcRLt1t3HY1 JT+p+CQ7foVEbaGnzGXTeMGEdmBvqnZbWaA3w42RMB4plxBHkJPm6gLsFmSw28yaa45lcPBO Sc/RCsPucIIYhNGk4cuMt/Z5zsWIVjITom/BqyPP7Kik7B2fw+O+iZrZFyNl33rkVYhi7o+J YbzTCpfJS1yNEiT9xLvH711+eZynkgWmzmOLa0XOjz9gdJyklbPGe9daDNjr4kRsMu5neki2 40AaJrQlk8CALOWj+u+2dd7EG3m5EMTXfjew/G7vMbaSua/MDBwV63i0vk6dpZ7nq9YsO7N8 zvvEgVb0VfzzzmPYwmDdnkpOvulUIddvEALG3UmHW+p/Hw/PqepzqMULKUscZcdqedM8P9TT ts+QfumPMhhcDr81g4mXcHPl7A6LBWPriCSDhWhewk6LsJBRRSW29rKfTnP1SgpDwivvtpjv Yz61gP/RLQBYwF6E+fXd/Od4FejtlcNmO9JfhXpI/sCXG7O4YRVOyjKoftvGP41KDLH3Sm/+ zuNJBUl+dn2vI4+9efWiZC+r4uGF/V0GmxYFTL56YmaGDb7/G3556N9S8eNIC7gUV3r9JWYZ el6y+/2NNsFlg1ot6t+C7Na8rIs1eDwprN1zhVWI1uTVg6FUohfG3ih2dVDkoZvxbUD4Au/Z R+py+lgYL6MPJvoLU4VKA8bdd+87PAzmATJzPELMU7/tT5W/r2GbB1oBCOyqhdhdZl7DIB05 t0amp8yyxe+gR8UINq5nnhq12CTHEchDYQjlL8nWbHOtCR662t/caT9CzD36q6hc99jEFcnC R7Kibvgh4Zz/FvjcX0yGSLz3M5YgYYqvUFIxXAvOmW2v8fMgNY2+DZz8j0HaBtf4Tsa8uB0O 0ltb1ZUI4fX9RhWpcFzZUKeMCAfOw+85Wrw1EksuFDCakuVClz2M2w2PNiS8HAj825zeiZR+ Jeawj3HVQnGUd7Q3Cxof2JYsN3mEMJM8zPdlPCdH8iqG4cwZRzniPSMYUsKsx7WPtMjtnbYp OVF/PdCVoOjDHQ++5YEMoi90agcbDumJ2YYGPFow/4vLFHmITq33WCDFlC1dsZzPMf1yE6fC fF1B8dxRh+7hTevrDcaOPY2GIVKvsUVvfgMRrC6AlQ9keq7jiFou5fu5CTBlDcVY9Fxo/0cd KLVVRy/S1K1u1UFtVPJnsd+PkiAXeIlfyz5heC8z/UIHckMscZqakAD7YG3tHS0bipi+wCwu VLBboD70t1d7JllmaLtNo5hBAyED8z5e8rV0QK0svVINcjuN+WXvSwri1DXBSZkFppPZMZSi pK2r8/R4EPJmJ0UQlLpscCNOIcR7PrjQdcNFNz8KUdruBerWeju0kMlwH+5I5kYq+FtzJCra CXgYfThaONPfclWwUBUTC1sExw9LaDTRYW4rAOfq8W8MDQs4TblHviGq0CwNXp6cxUWMaLQE gX34vaixu5JpbR2WSMrOatUPI9aEnTCB40daNzDhRuJBDKJg3SDmIfYuzgO1DXpMkSAQeHGu c/rZx6neBqL7fSCiJkTtoFppRQYAUpsmeR6LApX59dyjCv8F2Ica/gUNZIdEJxPjyjuz9fCa SrQaHc5QzDINdienc4QPPy4NuteOgAPBjs9DiMk9QWVcGGxD4OJRrJqsCV4i5uzlv0P08n/Q ezyOFWpVvRy/n2tbecIoPuwge4hz/icxGpgFYXVjZnpGxhHaVkV/CUJIeeOPBAr1+nMjwPML mg8A2lPBkOjIaI0/QCMZFYNcCwkUPjTI/nEoMtBLBsze2lW8QGY9MDCBg== IronPort-HdrOrdr: A9a23:O60yj66N10guf8i5dwPXwPjXdLJyesId70hD6qlUc20vTiX4rb HXoB11726XtN98YgBEpTniAtj4fZq/z+8S3WB5B97LN2OW21dAR7sSircKrQeQfxHWx6py0e NPfcFFZ+EYzmIXsS852mSF+hoboeVvOZrH5dvj8w== X-Talos-CUID: =?us-ascii?q?9a23=3AYru2g2l8Y7R2f8sTPooFn0KQDcLXOX6H6kbcDlO?= =?us-ascii?q?YMGR4QZuQRXPI6vhZueM7zg=3D=3D?= X-Talos-MUID: 9a23:fU9/WQtkyJzQMmV2Xs2nx3ZJDeRyvPyUFB4SlKcWnOSrDBE3NGLI X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.15,233,1739833200"; d="scan'208";a="219124003" X-MGA-submission: =?us-ascii?q?MDHDE8DVFkH25ePJqT/daXkfvMn0b0SnctUTnf?= =?us-ascii?q?fW9gHG/D0QyiM/VqA8b2kZnxmjrGwZUYauWquM03BqIUvMSAnDkYXy3g?= =?us-ascii?q?i8KlmpKZn+25Yt9+Yg8dQ5G8lwkBCv1vitFds5AzuHqQc82F2jl9sy7o?= =?us-ascii?q?nFpMcCnE9QQgVR+e5SDBzgsQ=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; 23 Apr 2025 16:10:57 +0200 Received: from mail-pl1-f199.google.com (mail-pl1-f199.google.com [209.85.214.199]) by web.is.ocha.ac.jp (Postfix) with ESMTPS id 4ZjLcC5h73z1N9SFk for ; Wed, 23 Apr 2025 23:10:51 +0900 (JST) Received: by mail-pl1-f199.google.com with SMTP id d9443c01a7336-224364f2492so56749565ad.3 for ; Wed, 23 Apr 2025 07:10:51 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1745417450; x=1746022250; h=content-disposition:mime-version:message-id:subject:to:from:date :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=AB23rlZpKHyyXVpEWTTcdFbX+kjY2IDuTGpZnWDM8j0=; b=cmt1lKIaRhrXBleAb71w6PC7koAk5uvljK0HuW1Hlal+ruOzcttTJWot5HVIji89rB Bmo+4ZqC4CvhFEQG/CLYH5cfOlx4Mj+dEOgM033Bsj1oBJDnZgrljJlHXLOTVz6ZcMGH yERo3UJs8qRceB0ni7fTiR1RogvijViarBs0gRnUMXwBJ5NOFqqiC3142o1MJdyea83h om7oWAp2N4hDek+6SopvdkPXARZ6NxNo3BryeybY/p15HfMZjQlehx/qXjVWvg2gM3em 7n+LvHtQK+AsRjaDezqM5fK3nqwEck01FxivLf5TJP/izpQ3N7c5y0HMMgmnr33e9GLl fr7A== X-Gm-Message-State: AOJu0Yw1nWOn/+HXmlKNVO7gHPZreqFdsvxDNGwt/puH4beZxBfNEIfC iNSWlNJzJ4mAFvB3P9p5EafLteNudJtbq79fWvrCI5wKo0kcSJIxP9mkGQbAl2h4Ny3h1I999bq EJeR9kZaRoiyvN1Oj5SLJc20vHI4mvqyZY/cPhEQK2bmkv/65qSV/ZdNa X-Gm-Gg: ASbGnctJhJD1pfzaVwTSuUZNIxruhrUZHXx3zp+/0qG0kT+WJVqqD4lIWStk6AY6YPL lZoYDCO1u57F3UTKJzUMMcH8+qvesY3dV2B0Kc6tzzeIqXN/p8oNqCdt82VNixyzCcByO6MlFIZ iF2+ArCexMoyqZZngs00wLLfcCOVJ6Q21V2LJVXpEXw9FcO7O7fsUEpp2kqg4X4EDMY4cE3U/PC VJRgpT5LQGW53QPmPI2U/IKogYCmFP3oaUi6J5x80axhlxEVjzCW7fJMePNzbZOaDjfJX/xAQ8+ mihQ4xaCNXnnFH9DDEgOdef/CKcV X-Received: by 2002:a17:902:f693:b0:224:93e:b5d7 with SMTP id d9443c01a7336-22c536075fbmr301542075ad.34.1745417449725; Wed, 23 Apr 2025 07:10:49 -0700 (PDT) X-Google-Smtp-Source: AGHT+IE7abvHqcmynrimdpM9dkY/FvZa+i5ioHh0vG+oTQgDuWqx7mKhzOVKfFOjF0WBjgaGGgWXeg== X-Received: by 2002:a17:902:f693:b0:224:93e:b5d7 with SMTP id d9443c01a7336-22c536075fbmr301541595ad.34.1745417449328; Wed, 23 Apr 2025 07:10:49 -0700 (PDT) Received: from localhost ([240f:101:8218:1:3407:7a4a:79d2:1cf5]) by smtp.gmail.com with ESMTPSA id d9443c01a7336-22c50eb463asm104195355ad.141.2025.04.23.07.10.48 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 23 Apr 2025 07:10:48 -0700 (PDT) Date: Wed, 23 Apr 2025 23:10:38 +0900 From: Kenichi Asai To: caml-list@inria.fr Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Subject: [Caml-list] automatically resolving open? Reply-To: Kenichi Asai X-Loop: caml-list@inria.fr X-Sequence: 19301 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: Would it be possible to transform an OCaml file to the one that does not use open? For example, if I have: open List let test = map (fun x -> x + 1) [1; 2; 3] I want to obtain: let test = List.map (fun x -> x + 1) [1; 2; 3] where all the opened identifiers are prefixed with the opened module names. ocamlc -dtypedtree appears to produce a typed tree where all the opened variable references are resolved. Would it be possible to transform this typed tree back to a source program? -- Kenichi Asai