From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 0E6CC5D4 for ; Mon, 18 May 2020 11:32:24 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.73,407,1583190000"; d="scan'208";a="450169559" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 18 May 2020 13:32:23 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 40C1E7EEDF; Mon, 18 May 2020 13:32:23 +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 012A87EEDF for ; Mon, 18 May 2020 13:32:17 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=asai@is.ocha.ac.jp; spf=Pass smtp.mailfrom=asai@is.ocha.ac.jp; spf=None smtp.helo=postmaster@web.is.ocha.ac.jp IronPort-PHdr: =?us-ascii?q?9a23=3AcMj1nxJ39Vq/3DVLTNmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRI/rxwZ3uMQTl6Ol3ixeRBMOHsq8C0rKL+PuxEUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCe9bL9oMRm6sQXcusYYjIZmN6081gbHrnxUdu?= =?us-ascii?q?pM2GhmP0iTnxHy5sex+J5s7SFdsO8/+sBDTKv3Yb02QaRXAzo6PW814tbrtQTY?= =?us-ascii?q?QguU+nQcSGQWnQFWDAXD8Rr3Q43+sir+tup6xSmaIcj7Rq06VDi+86tmTgLjhS?= =?us-ascii?q?EaPDA77W7XkNR9gqxbrhy/uhJxwIHbb52IO/dlYqPRYckXSXZdUspNSSBMBJ63?= =?us-ascii?q?YYsVD+oGOOZVt4zzqEUIrRu/GQasBOLvwSJUi3/tx6I60vkqHAbc0ww7Bd0OsW?= =?us-ascii?q?/ZrNTuNKsIVuC60KnIwi/ZY/xMxTjx8orIcgg4rPyKQLl/ftbfx1M1GAPZklWf?= =?us-ascii?q?t5blPzWN2+kOt2WW7fdsWP+shmMnqgx9vzmiy8gihIfGm44Z1k3I+Dt2zoopId?= =?us-ascii?q?C0VVJ2bcK4HJdNuCyXKYV4T90+T2xqtyg3zKANt52jfCUS1ZgqyRDSZ+aGfoWI?= =?us-ascii?q?+B7uVemcLS1liH55YL6yhgu+/VK+xuDzVsS4yktGoy5fntXSuH0A1Rre4dWdRP?= =?us-ascii?q?Rn5EeuwzOP2hjT6u5aJUA0krLWKpA/zbErjJYTsF/DEjXxmErqjK+ZbF8o9fK0?= =?us-ascii?q?5Oj9YLXmvoeQN45yig7gLqQjgtGzDOo2PwQUXmWW+f6w2bzs8EHjXblGkuU6kq?= =?us-ascii?q?zDv5DbIcQbqLS5AwhQ0os78Rm/FC2p0NUDkHkGN1JJYhWHgJTpO17UOvz3F+uw?= =?us-ascii?q?j06ukDdz3/zGJKHuAo3RLnjfl7fsZapy5FRZyAo31Nxf45NUCqodIP/oQU/wtN?= =?us-ascii?q?nYDgcjPACuwubnDs991oIEVm6VDK+ZKvCajVjd7esqJ6yIZZQJkDf7MfksofD0?= =?us-ascii?q?3lEjnlpIXqSv3JAXaTiRBf1naxGQenPtqtYaV2ABvgN4ReesikXUAm0bXGq7Q6?= =?us-ascii?q?9pvmJzM4mhF4qWHtn80ozE5z+yG9htXk4DD1mNFXnycIDdBqUNc2SVKc9o1DUP?= =?us-ascii?q?E7q5GdZ4iUOe8TTiwr8iFdL6vzUCvMu+htluoerYlRh0/DcyDdzPizjQHVExpX?= =?us-ascii?q?sBQnoN5I46oUF5zQ7Sg7d1ibpZDppU7PNAFA4xc5zEnbR3?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D8DwBhccJebQpAQYVmgQmBSYIqb1YxL?= =?us-ascii?q?I0lixSWXIF6AgkBAwEKAQEbEgIEAQGGYhwHAQQ2BA0CEAEBBQEBAQIBAgMEARM?= =?us-ascii?q?NFQcbhWsMgjsigy0ogVQBBQFXgwWCewGifYEEPYsmgTSIQiGBVhKBJoxcggCJe?= =?us-ascii?q?oJ6gi0EiyoHjHGBUIkDkBuCWoJ0lUcMHYJMjUmNQaEBjRUCCgcGDyOBSQiBbTM?= =?us-ascii?q?aCDCDJAlHGA2YUoZFMzI3AgYIAQEDCVYmE44sAQE?= X-IPAS-Result: =?us-ascii?q?A0D8DwBhccJebQpAQYVmgQmBSYIqb1YxLI0lixSWXIF6Agk?= =?us-ascii?q?BAwEKAQEbEgIEAQGGYhwHAQQ2BA0CEAEBBQEBAQIBAgMEARMNFQcbhWsMgjsig?= =?us-ascii?q?y0ogVQBBQFXgwWCewGifYEEPYsmgTSIQiGBVhKBJoxcggCJeoJ6gi0EiyoHjHG?= =?us-ascii?q?BUIkDkBuCWoJ0lUcMHYJMjUmNQaEBjRUCCgcGDyOBSQiBbTMaCDCDJAlHGA2YU?= =?us-ascii?q?oZFMzI3AgYIAQEDCVYmE44sAQE?= X-IronPort-AV: E=Sophos;i="5.73,407,1583190000"; d="scan'208";a="450169526" X-MGA-submission: =?us-ascii?q?MDEhb00/UvuDe5ggmuaVKUCJ552719x+uJTave?= =?us-ascii?q?Ed+8JVTuzHlgkbLpd5qm6Q+gh9rjbL72fGEf2GX7CReKvkn5ygY+2cdI?= =?us-ascii?q?t0EXFv3jDQVdUnQqog/jDnhcJsiw0Svp+/YW8zASSeg7CTLvJPBNtAOR?= =?us-ascii?q?V1towAdIbA1O+VwFmIN+x43Q=3D=3D?= Received: from web.is.ocha.ac.jp ([133.65.64.10]) by mail2-smtp-roc.national.inria.fr with ESMTP; 18 May 2020 13:32:14 +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 ESMTP id A97A020093051 for ; Mon, 18 May 2020 20:32:11 +0900 (JST) Received: by mail-pl1-f199.google.com with SMTP id y7so7163718plp.8 for ; Mon, 18 May 2020 04:32:11 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:subject:message-id:mime-version :content-disposition; bh=ScwBgX/p6hpKKzRnSRQrxWWp+UrZ35cciuIXIANbqJA=; b=bzO/oJngb0DNRYc/YGoSJcKdFOSCyFwcfTNdmGgy9QHeBb7EyG0o8Az48VpbQo9ouj R3mYIUcWNzw24fzQVAqBZ+XykFn7KuLU0CF+12b3Dslq0UJQE/z0xTfNODX/VkOb8CYu URqRZfqvFd2eepg/fsZjq5V56yR21sG7Y/dgLfrhM4k/LuaZy686XOXaIR6QQO0UQDYO OjIfkTsSvSu6+3ooozHBe1VnqL1hz991O3LkQNdqV/DpmFUplqzCW56V5lq0Es8qyeno xfj50e9kWYs/m4gFfBEAynj0YoUa1KorBUParvMjBmwYNK6V3/AGwViuNidYKQhnMe6h s+GQ== X-Gm-Message-State: AOAM530oaqflEDf0iu6C6P6HovbWVzq6oUJWO5KPrC8/ZRTUsaBYpXRO eVfAiow3pR8V2oCk8zVQoL92kj4olnyqmn8jzmMLVLyegVn3r4T+ZDrmMqzXHUhHqzw01wZq6VW UDKvAaf1ovBNs X-Received: by 2002:a63:503:: with SMTP id 3mr8462563pgf.15.1589801530810; Mon, 18 May 2020 04:32:10 -0700 (PDT) X-Google-Smtp-Source: ABdhPJxHLdKfHngh8RTQeDlFODdr5emW4TT+nDJDs3KBWzDAHViqkwSf2kPfjJCoGfiSYas5+c82Pg== X-Received: by 2002:a63:503:: with SMTP id 3mr8462549pgf.15.1589801530528; Mon, 18 May 2020 04:32:10 -0700 (PDT) Received: from localhost (61.245.19.237.eo.eaccess.ne.jp. [61.245.19.237]) by smtp.gmail.com with ESMTPSA id fy21sm8290464pjb.25.2020.05.18.04.32.09 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 18 May 2020 04:32:09 -0700 (PDT) Date: Mon, 18 May 2020 20:32:03 +0900 From: Kenichi Asai To: caml-list@inria.fr Message-ID: <20200518113203.GA26442@pllab.is.ocha.ac.jp> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Subject: [Caml-list] expansion of #use? Reply-To: Kenichi Asai X-Loop: caml-list@inria.fr X-Sequence: 18145 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Is there any way to expand the use of #use? Suppose I have the following two files: a.ml: let a = 3 b.ml: #use "a.ml";; print_int a Given the file name b.ml, I want to obtain: let a = 3 ;; print_int a The -dsource option of ocaml almost does it, but it executes the program at the same time. In the above program, it prints 3, too. So far, I tweak into the OCaml implementation, turn off the execution in execute_phrase in toploop.ml, and re-compile whole the OCaml. I wonder if I can do the same thing simpler than this, possibly using compiler libs? Thank you in advance. PS. I know I should not use #use from the first place. -- Kenichi Asai