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 6459E5D5 for ; Fri, 5 Mar 2021 05:05:32 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.81,224,1610406000"; d="scan'208";a="496220696" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 05 Mar 2021 06:05:30 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 68E9AE1D3E; Fri, 5 Mar 2021 06:05:30 +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 811FFE0171 for ; Fri, 5 Mar 2021 06:05:23 +0100 (CET) Authentication-Results: mail3-smtp-sop.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=3ASeIDdhHdxDLSToqdccf5fJ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zpM+wAkXT6L1XgUPTWs2DsrQY0ruQ6vi8EjVbvN6oizMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVr?= =?us-ascii?q?O+/7BpDdj9it1+C15pbffxhEiCCybL9vKBi6txjdutUZjIdtN6o8xBvEqWZUdu?= =?us-ascii?q?pLwm9lOUidlAvm6Meq+55j/SVQu/Y/+MNFTK73Yac2Q6FGATo/K2w669HluhfF?= =?us-ascii?q?TQuU+3sTSX4WnQZSAwjE9x71QJH8uTbnu+Vn2SmaOcr2Ta0oWTmn8qxmRgPkhD?= =?us-ascii?q?sBOjUk9mzcl85+g79BoB+5qRJxw5DabpyWOvVxYqzSYMgXRXZdUstLSyBNHp+w?= =?us-ascii?q?Y5UJAuEcPehYtY79p14WoBW7GwasAuLvxSNIhn/3wKY3z/8hHhvH3Ac9GN8Bqm?= =?us-ascii?q?/Uo8/0NKoJUOC117PEzTLfYPNWwzjx8pLHfQw7rfGORbJ9aMzcwlQgGA3ZlFuf?= =?us-ascii?q?s5DlPy+L2eQXtWiW9+ltW+KghmI6tgx8piWjy8MihITLmI4Z1lPJ+Tl5zosrJd?= =?us-ascii?q?O1Rk52bcC6HJVQqy2WKpZ6TM0gTmxpuis3yqMKtYO9cSMXxponwBvfZOaGc4iO?= =?us-ascii?q?+h/jU/qeITdii35/Yr2wmwy+8Uq4yuD6S8K6005KozJYntTCuH0BzR3e58idRv?= =?us-ascii?q?Z88UqtwyuD2xzL5u1aI004j67WJ4A7zrM0ipYfq0bOEjHwlU7rlqGZbF8k9fKt?= =?us-ascii?q?6+n/YrXpuJucN4hshwDwLKshgdazAeUjMgQUWGiU5eS826f58ULjXLpGlP82kr?= =?us-ascii?q?HBvJDbI8QUuLK5DhdI3ost5RuzFTar3dQCkXQGI19JYg+Lg5TxN1HLOv/4DPO/?= =?us-ascii?q?g1q2kDdswvDLJqfuAo7XIXjCi7rhfK1951RbyAUvzdBQ/YhYBasdL/7pWE/xrM?= =?us-ascii?q?TUDgUlPAys3+bnFNJ925sCVm2VB6+ZNLresVuJ5uI0P+mBf5QVuTb4K/g9/fHi?= =?us-ascii?q?l345mVkHfamox5Qbcn64Hu41a3meNHHlh9NEFWYRoiI/SvbrgRuMS219fXG3Co?= =?us-ascii?q?Ex4DAwCIPuJJzKR8j5iaeI3Q+6BdtRbWBPTFmHV3XwIdbXE8wQYT6fd5cy2gcP?= =?us-ascii?q?UqKsHtd4iEOe8TTiwr8iFdL6vy0VsZW6hYpq6ueVlAp08jd0BoKU2CePVzMsxz?= =?us-ascii?q?9ad3oNxKl65HdF5BKby6Eh3q5ZDppU7PNAFA4xc5zEnbQjWoLCHznZd9LMc26I?= =?us-ascii?q?B9CvADU/VNU0moJcYl07HN6ih1bK1GyoG+1Mmg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AOAQBCu0FglwpAQYViFnOEcFg4MQSNQ?= =?us-ascii?q?YhWgxqZNAIJAQMBCwEBKAoCBAEBhkkCHQcBBDQTAhABAQUBAQECAQMDBAETAQE?= =?us-ascii?q?BAQEBAQEfBoYRDYI4IoQDKDmBGwEFAVeCTgGDBgEPoT2BBD2KPnSBNIhoIU2BD?= =?us-ascii?q?hKBJ41CQoILhzqCOoJ9gisEgkYXGwwcIj4wgU4HjSQHjxmBdYo0kU6DCIMvhhG?= =?us-ascii?q?SVQINIoRujlqQIIZNmU+SMYQ1AgoHBhAjgUghgVkzGggwgyQJRxkNjjiGXIEah?= =?us-ascii?q?kgzMQI2AgYKAQEDCVYmE401AQE?= X-IPAS-Result: =?us-ascii?q?A0AOAQBCu0FglwpAQYViFnOEcFg4MQSNQYhWgxqZNAIJAQM?= =?us-ascii?q?BCwEBKAoCBAEBhkkCHQcBBDQTAhABAQUBAQECAQMDBAETAQEBAQEBAQEfBoYRD?= =?us-ascii?q?YI4IoQDKDmBGwEFAVeCTgGDBgEPoT2BBD2KPnSBNIhoIU2BDhKBJ41CQoILhzq?= =?us-ascii?q?COoJ9gisEgkYXGwwcIj4wgU4HjSQHjxmBdYo0kU6DCIMvhhGSVQINIoRujlqQI?= =?us-ascii?q?IZNmU+SMYQ1AgoHBhAjgUghgVkzGggwgyQJRxkNjjiGXIEahkgzMQI2AgYKAQE?= =?us-ascii?q?DCVYmE401AQE?= X-IronPort-AV: E=Sophos;i="5.81,224,1610406000"; d="scan'208";a="374808866" X-MGA-submission: =?us-ascii?q?MDHYJIGeaH5K8hhiAYmNLIrjwe2HvMzmhaTa1B?= =?us-ascii?q?yU4mQVI1Nu+KRpm486M8X+FnchydN6ziovh0fZxvk0bl57Twj5uwxD46?= =?us-ascii?q?phdrlXRGNP703Vy37d0i2oTp7oKSZr6gVCw7Nq+jMeZ9v000dnGI8679?= =?us-ascii?q?SZu70A+xIFwtda7QDrSNCrSA=3D=3D?= Received: from web.is.ocha.ac.jp ([133.65.64.10]) by mail3-smtp-sop.national.inria.fr with ESMTP; 05 Mar 2021 06:05:21 +0100 Received: from mail-pj1-f71.google.com (mail-pj1-f71.google.com [209.85.216.71]) by web.is.ocha.ac.jp (Postfix) with ESMTP id 34E37360057 for ; Fri, 5 Mar 2021 14:05:18 +0900 (JST) Received: by mail-pj1-f71.google.com with SMTP id y5so619872pju.5 for ; Thu, 04 Mar 2021 21:05:18 -0800 (PST) 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=VT7MByANxrDPQDU0o8ZuyiGLVwnDaYT775PR8i2np8Q=; b=E2AIJnImpC4L+kg0PsOSmNodGEiZ8m2KnS41hB0KQmfuucTFepdVdMfgR7h1OU8V+T i4su4sY56pbFoz2J8m7qJu+qvlnOGdZvXOr/KU87hzaLZjg5Mip5iYrUysqsAVWwavhL JWbWoQTyxzOywph9Jkj/3pjUNOnNWAB7FYoBXTbzH9n8nFfZ0zU2cO20eVNGUGdO6ZaN /8qKd7wRlNsPARmIx6tQghCquLiuE/bA3sD7ZLWM6QnqVxKRRw0F7jawQv8PfqNKkGiV NtCDlKTwdmzG2aOlOzKcgGjx0ykbL8c0XX+1bZrEsC8oGq4t/v8b9NYxLfn0/ZcjvmVf tyyA== X-Gm-Message-State: AOAM532YkFDkxE61BqmFWukRofOHmyVPJ7ARlllir7xZVUjWN6Xi7Nw1 894n533TuVHT9UZJ/KJw3q6dnMKAWZypxGovas9T0x+qMrLLAzklpHQUXmwvg+hj9duTD4dF0CH lL2tqhkoHzwTO X-Received: by 2002:a17:902:eb11:b029:e4:a5c3:42e8 with SMTP id l17-20020a170902eb11b02900e4a5c342e8mr6917213plb.26.1614920717434; Thu, 04 Mar 2021 21:05:17 -0800 (PST) X-Google-Smtp-Source: ABdhPJz3UJiKTmYeL5ZIM+bNKwTMdVF5Ai3hk9+yh6Z+99I7c1MS2vEn/dpojkj0OVMlLuFRAJsVQQ== X-Received: by 2002:a17:902:eb11:b029:e4:a5c3:42e8 with SMTP id l17-20020a170902eb11b02900e4a5c342e8mr6917200plb.26.1614920717156; Thu, 04 Mar 2021 21:05:17 -0800 (PST) Received: from localhost (KD027092090072.ppp-bb.dion.ne.jp. [27.92.90.72]) by smtp.gmail.com with ESMTPSA id r31sm883204pgm.11.2021.03.04.21.05.16 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 04 Mar 2021 21:05:16 -0800 (PST) Date: Fri, 5 Mar 2021 14:05:09 +0900 From: Kenichi Asai To: caml-list@inria.fr Message-ID: <20210305050509.GA97697@pllab.is.ocha.ac.jp> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Subject: [Caml-list] a simple example of compiler-libs.toplevel? Reply-To: Kenichi Asai X-Loop: caml-list@inria.fr X-Sequence: 18416 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: Is there a simple (but complete) example that uses compiler-libs.toplevel, like creating an OCaml toplevel that uses a different character for a prompt? When I tried: - copy toplevel/topstart.ml to my_topstart.ml and change Topmain in it to My_topmain - copy toplevel/topmain.ml to my_topmain.ml and change Toploop in it to My_toploop - copy toplevel/toploop.ml to my_toploop.ml and change the prompt character in it - optionally, copy toplevel/topdirs.ml to my_topdirs.ml and change Toploop, etc., to My_toploop (this does not affect the story below) I ran into the following error: The ocamltoplevel.cma library from compiler-libs cannot be loaded inside the OCaml toplevel When I disable it (by removing the expression that raises this error in my_toploop.ml), I can launch the new toplevel, but I cannot define a new name: let a = 3 results in "Fatal error: a unbound at toplevel". Is it possible to do this kind of creating a new OCaml toplevel using compiler-libs.toplevel? Or is the compiler-libs.toplevel intended for something else? A bit of background. I am developing an OCaml type debugger: http://pllab.is.ocha.ac.jp/~asai/TypeDebugger/ and am currently trying to port it to a newer version of OCaml. For the current type debugger, I inserted code for type debugging into the main loop in toploop.ml. However, inserting code directly into the OCaml source requires me to recompile whole (or at least the core of) the OCaml. If I could do the same with compiler-libs, that would be great. Any help is welcome. (I also welcome the negative information saying that it is impossible to do this kind of thing. Then, I would fall back to the old way of compiling whole the OCaml.) Thank you in advance. Sincerely, -- Kenichi Asai