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 A15655D4 for ; Thu, 4 Jul 2019 01:05:18 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,449,1557180000"; d="scan'208";a="390288110" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 04 Jul 2019 03:05:17 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id A31ED826BB; Thu, 4 Jul 2019 03:05:17 +0200 (CEST) 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 701A08247D for ; Thu, 4 Jul 2019 03:05:11 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mlists@ligand.eu; spf=Pass smtp.mailfrom=mlists@ligand.eu; spf=None smtp.helo=postmaster@relay11.mail.gandi.net IronPort-PHdr: =?us-ascii?q?9a23=3Az+moIBD3SNZhzHRmw+PEUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPv9ocbcNUDSrc9gkEXOFd2Cra4d0ayN6uu8ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTagf79+Nhu7oRjeusQZnYdpN7o8xAbOrnZUYe?= =?us-ascii?q?pd2HlmJUiUnxby58ew+IBs/iFNsP8/9MBOTLv3cb0gQbNXEDopPWY15Nb2tRbY?= =?us-ascii?q?VguA+mEcUmQNnRVWBQXO8Qz3UY3wsiv+sep9xTWaMMjrRr06RTiu86FmQwLuhS?= =?us-ascii?q?waNTA27XvXh9R/g61HrxyvqRxxzZDJbo6XOvpwfazcct0BSGpdXMtRVTBNDp+m?= =?us-ascii?q?YocRCecKIOZWr5P6p1sLtRawBROsC/npyjBUgX/23LY62Pk8HA7YxgwvAdQOsH?= =?us-ascii?q?vKo9XvKawfVuW1zK3JzTXYc/NWwizw6IzJchAuu/6MW69/fdDPxkkyDg7IiEib?= =?us-ascii?q?p4LiPzOQzOsNsm6b4vJnVe2zkWEnrgVxriKoxsc2hYnFno0VylHY9SV53YY6Ps?= =?us-ascii?q?e0R1J8Yd6hFpZbqiKUN5NuT888Xm1lujw2x78atZKhYSQHypcqywTBZ/GJboSF?= =?us-ascii?q?5A/oWvyLLjdinn1lfaqyhxas/kikze3xTtO030hOriVfktjAq20B2wbW6sedS/?= =?us-ascii?q?t9+l2t2TmV2ADV9+5EIFo4lazFJJ492rIwl5wTvlrfHiLuhkn6ka2bel8m9+S0?= =?us-ascii?q?8ejrf7frq5yGO4NqhAzyL7wimsmlDuQ5NggOUXKb+eO51LD7+E35RLRKjuYqkq?= =?us-ascii?q?nCq53aIcUbpqGjDA9Tz4kv8QiwDyq+3NQCgXYHNE5FeA6Aj4XxJ17BOvX4DfOm?= =?us-ascii?q?j1SokTdr3OzGM6b6ApTNK3jDiK3ucax8605a0gozzMpQ64haCrEbc7rPXRr6vd?= =?us-ascii?q?ncSxs4KBCcwuD9Cdw72JlNd3iIB/q3KqrUuliJ/aoFLvOBYoAYon6pLvwk/OL1?= =?us-ascii?q?pXs4llYbce+kwM1EOziDAv16LhDBMjLXidAbHDJS51tsfKnRkFSHFAVrSTO3Vq?= =?us-ascii?q?M46Cs8Ddv/X4PCSYmrjPqMwXXiR8AEViV9ElmJVEzQWcCEVvMLMn7AOMJlmy1d?= =?us-ascii?q?DP6kQo4lkx6nsgP7jbxqMriMo3FKhdfYzNFwotbru1Qq7zUtVpaZ0m6ESW0yk3?= =?us-ascii?q?5aHzI=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DgCAAoUB1dhueyRtllHAEBAQQBAQcEA?= =?us-ascii?q?QGBZwKCf4EEKI0XiWRTBlNjgSKIOY8agXoJAQMBDCUKAQGEQAKCIhsHAQQ3Aw0?= =?us-ascii?q?BAwEBBAEBAgECAwETAQEBCAsLCBsOij4Mgjoigm8BBTgCTwQHGC5XIQyDDgGBd?= =?us-ascii?q?hgLpwqEMgGGFoE0AYhCgxwXeIEHg3UuPoJIGQKCLoUVBJRdQZUdCYIYhlaNIQg?= =?us-ascii?q?bght8lFqUbZAegXoBgWUfLiYSO4JsCYJSg1eFFIVOMAMwjg0BAQ?= X-IPAS-Result: =?us-ascii?q?A0DgCAAoUB1dhueyRtllHAEBAQQBAQcEAQGBZwKCf4EEKI0?= =?us-ascii?q?XiWRTBlNjgSKIOY8agXoJAQMBDCUKAQGEQAKCIhsHAQQ3Aw0BAwEBBAEBAgECA?= =?us-ascii?q?wETAQEBCAsLCBsOij4Mgjoigm8BBTgCTwQHGC5XIQyDDgGBdhgLpwqEMgGGFoE?= =?us-ascii?q?0AYhCgxwXeIEHg3UuPoJIGQKCLoUVBJRdQZUdCYIYhlaNIQgbght8lFqUbZAeg?= =?us-ascii?q?XoBgWUfLiYSO4JsCYJSg1eFFIVOMAMwjg0BAQ?= X-IronPort-AV: E=Sophos;i="5.63,449,1557180000"; d="scan'208";a="312347963" X-MGA-submission: =?us-ascii?q?MDE1lnCcdPVG04gUUKH65UYM/cUDCOCqy+vq7F?= =?us-ascii?q?NCFfrC+A8i+Kq/Xl1mpABuDQ6SyQ+kkypWCWpzHBde9Dx2Ws6FaYTjM/?= =?us-ascii?q?7aGaHaeBVkHqdogNOGdihDsygjG2R5HtaAfBhFeMtpiVJftEWY3ybdIK?= =?us-ascii?q?sD6px0Qh2Kt/PSlfIiwvHY6g=3D=3D?= Received: from relay11.mail.gandi.net ([217.70.178.231]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 04 Jul 2019 03:05:10 +0200 Received: from webmail.gandi.net (webmail19.sd4.0x35.net [10.200.201.19]) (Authenticated sender: mlists@ligand.eu) by relay11.mail.gandi.net (Postfix) with ESMTPA id 47B75100003 for ; Thu, 4 Jul 2019 01:05:09 +0000 (UTC) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Date: Thu, 04 Jul 2019 10:05:08 +0900 From: Francois Berenger To: caml-list@inria.fr In-Reply-To: References: <7A09D0AA-1285-45CF-9687-B2BF8B1CA021@gmx.net> Message-ID: <0ae06dd8f9be93619e025d5058e55420@ligand.eu> X-Sender: mlists@ligand.eu User-Agent: Roundcube Webmail/1.3.8 Subject: Re: [Caml-list] Gnu readline functionality in ocaml? Reply-To: Francois Berenger X-Loop: caml-list@inria.fr X-Sequence: 17674 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: On 03/07/2019 18:41, SP wrote: > I had a look for you on opam.ocaml.org. > > I found [linenoise][1]. Also looked at [utop's code][2] and it seems > to use [lambda-term][3][4]. lambda-term uses zed, which from the opam description looks like the library providing the readline-like functionality. https://github.com/ocaml-community/zed > [1]: https://opam.ocaml.org/packages/linenoise > [2]: > https://github.com/ocaml-community/utop/blob/master/src/lib/uTop_complete.ml > [3]: https://opam.ocaml.org/packages/lambda-term > [4]: > https://github.com/ocaml-community/lambda-term/blob/master/src/lTerm_read_line.mli > > > Hope this helps.