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 6D6885D4 for ; Thu, 4 Jul 2019 08:50:32 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,450,1557180000"; d="scan'208";a="390346065" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 04 Jul 2019 10:50:31 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 21102826E4; Thu, 4 Jul 2019 10:50:31 +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 923FD8247D for ; Thu, 4 Jul 2019 10:50:28 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jdimino@janestreet.com; spf=Pass smtp.mailfrom=jdimino@janestreet.com; spf=None smtp.helo=postmaster@mxout5.mail.janestreet.com IronPort-PHdr: =?us-ascii?q?9a23=3AM6544xcodlhEfuicYPkBRA6SlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcS5Zx7h7PlgxGXEQZ/co6odzbaP6ea7AydYvt6oizMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVr?= =?us-ascii?q?O+/7BpDdj9it1+C15pbffxhEiCCybL9vMhm6twvcutcZjYd+KKs61wfErGZPd+?= =?us-ascii?q?lK321jOEidnwz75se+/Z5j9zpftvc8/MNeUqv0Yro1Q6VAADspL2466svrtQLe?= =?us-ascii?q?TQSU/XsTTn8WkhtTDAfb6hzxQ4r8vTH7tup53ymaINH2QLUpUjms86tnVBnlgz?= =?us-ascii?q?oBOjUk8m/Yl9ZwgbpUrxKvpRNxw4DaboKIOvRgYqzQZs8aSXZbU8pNSyBNHoGx?= =?us-ascii?q?Yo0SBOQBJ+ZYqIz9qkMKoxSgHwmjGubvyj5WiXTr06M60uEhEQDA3AwnAtkDt3?= =?us-ascii?q?bUo8j0NKcXUOC1yq7IwC7Bb/xM3zfy9pPIcgw7of6SQ71wbdDdxlUoFwPAl1id?= =?us-ascii?q?r5HuMT2S1uQIqWeb7uxgWPqoi2E7sQ5xpzyvyt0rionTiYIZ0l/E9SRlwIY1ON?= =?us-ascii?q?23U1R3bsKjEJtVsSyRKoh4Qts6Tmxptys20KMKtYO7cSQQ1pgqyRDSZ+aaf4WL?= =?us-ascii?q?+h7vSvqdLDNiiH9meL+znQi+/VSjx+HmS8W51FRHoyxYmdfWrH8NzQbc6s2fR/?= =?us-ascii?q?t94Eih3TGP2hjW6uBLJkA0iLbbJp47zr41jJUTsEDDEjX0mErsiq+ZaF4k+vSy?= =?us-ascii?q?6+v5fLrmuoWQOJNzigH7Kqgum8q/DvokMgUWXmWW9v6w2KP+8UD5WrlGkPM7n6?= =?us-ascii?q?fDvJzHJskXvqu5DBVU0oYn5Ra/FTCm0NEAkHkFMV1FeReHj4nvO1HJO/34D+2w?= =?us-ascii?q?g1Kynzdw2/DGJKPuDYvRLnTZjLjherN951ZGyAUv1dBf+45UCrYZLf3vQEDxsd?= =?us-ascii?q?jYAgY9Mwy12ObnFM5w1pgeWGKKGq+WKrnesV6O5uI1IumDfpUZuDjnK6tt2/m7?= =?us-ascii?q?o2Uwn1QafLLh95YNZXa3E+4ud0CdYGHwmf8FEGgDuAZ4QfG823OYVjsGRXuoUq?= =?us-ascii?q?c963kXCYenC4CLEoKhgbmA2iCTHJRQa3taEF2BDTHjcIDSCKREUz6bPsI0ym9M?= =?us-ascii?q?brOmUYJ0jUjz5j+/8KJuK6/vwgNdtZ/n04IltejDkgwuqHpxBsWZlWOESWxvgn?= =?us-ascii?q?kFSiNw16d68xQklgWzlJNgivkdLuR9outTW15kZ5zVyeFhF8r/Vx6HddCMGg7/?= =?us-ascii?q?E4eWRAopR9d0+OcgJkN0GtGslBfGhnT4AbYTmqeXHpE57uTX2H2jfss=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BdAgCEvB1dhxLp10BlHgEGBwaBZ4MBg?= =?us-ascii?q?QQohByUbppvCQEDAQwlCgEBhEACgiobBwEENBMBAwEBBAEBAgECAwETAQEBCA0?= =?us-ascii?q?JCCmKPgyCOiKCbwECAyMdAQE3AQ8LCwMKAgImAgIiEgEFARwGExSDDgGCCg+aQ?= =?us-ascii?q?TyKMHGBMoJ5AQEFgTIBhEyBPgkSeiiLXxeBQD+DdS4+gkgZAoRrgliqRAmCGYZ?= =?us-ascii?q?WjSobgxiUW5RukBEPIYFGgXkzGggbFTsxBoI1CYI4GoNXhRSFQD4zjwkBAQ?= X-IPAS-Result: =?us-ascii?q?A0BdAgCEvB1dhxLp10BlHgEGBwaBZ4MBgQQohByUbppvCQE?= =?us-ascii?q?DAQwlCgEBhEACgiobBwEENBMBAwEBBAEBAgECAwETAQEBCA0JCCmKPgyCOiKCb?= =?us-ascii?q?wECAyMdAQE3AQ8LCwMKAgImAgIiEgEFARwGExSDDgGCCg+aQTyKMHGBMoJ5AQE?= =?us-ascii?q?FgTIBhEyBPgkSeiiLXxeBQD+DdS4+gkgZAoRrgliqRAmCGYZWjSobgxiUW5Ruk?= =?us-ascii?q?BEPIYFGgXkzGggbFTsxBoI1CYI4GoNXhRSFQD4zjwkBAQ?= X-IronPort-AV: E=Sophos;i="5.63,450,1557180000"; d="scan'208";a="390346026" X-MGA-submission: =?us-ascii?q?MDHmbaJpkfQkvXlNBrMcwa4IHEVumcpSQ1WxPS?= =?us-ascii?q?1fibaEb2hDJbNg1aw9EBd3ry3O0Ze8ZaerCbUWe2xeUaDY0MvhpGUx8V?= =?us-ascii?q?9LnHLD5ASqn51UUbXdsQ9KxrpjXmT1ZidrnYvGDTRvdK6k5b3zBHXBeU?= =?us-ascii?q?VN3QbuleXq1a+f/Yj8x25zWQ=3D=3D?= Received: from mxout5.mail.janestreet.com ([64.215.233.18]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 04 Jul 2019 10:50:23 +0200 X-JS-Received: from [30.40.81.8] (helo=tot-qpr-mailcore1) by mxout5.mail.janestreet.com with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.90_1) (envelope-from ) id 1hixRd-0003N6-0F for caml-list@inria.fr; Thu, 04 Jul 2019 04:50:21 -0400 X-JS-Flow: external X-JS-Received: by tot-qpr-mailcore1 with ocaml/mailcore/main_production (a27f49f48dc5) (envelope-from ) id BdHb3M-G9zEgA-eu; 2019-07-04 04:50:20.993804-04:00 X-JS-Scanner-attachment: No attachments X-JS-Scanner-esets: Not scanned (internal mail) Received: from mail-lj1-f197.google.com ([209.85.208.197]) by mxgoog2.mail.janestreet.com with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.90_1) id 1hixRc-00061A-RO for caml-list@inria.fr; Thu, 04 Jul 2019 04:50:20 -0400 Received: by mail-lj1-f197.google.com with SMTP id p3so1275682ljp.8 for ; Thu, 04 Jul 2019 01:50:20 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=fDPt6+CosfyfuZR8e1MGxNwzAomrmuHmMASJ+DcZ5N8=; b=FEd7g+wGslAKQefM0lr15ZlUmxFaIV0NHBHI5LUSyvuCJ+6I9N50nSYodQ6FfbPe04 bnyP9ggXP9PZj4Ivw+M8/v4DKqzb0Sl0smyQ+pHOJmXh0q33QYP4uEadFTmghrSqoGhP Dqd7L6/ZX+UYmwl2nN3K3jBTN2ESkdKnXFCC0= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=fDPt6+CosfyfuZR8e1MGxNwzAomrmuHmMASJ+DcZ5N8=; b=UBZbwZGOMnDAb2exuh5YVsaWmBE/5kBVcpFHDnAwGUckwddDK9EZZ0/fN6SzB+Sjng 0DHcdfzycYyms1jHCgNL5GtSsRM2hm6VRIyogDM3rHue5HjgZmNAP80tCFMX5VNejDSU mhwDH2W7/IYbDQgog2TIi+PTBNRXUuNQctaeiowUugYIayjZmFMCKEcMvLAo2WlPHm+l /k8XdhCaCH3oGon3nZsOt7hQ57sKgZJgQk1R2sNn4SUwSCATwRo6mT2OMiX/jBaOrBbZ T5T5Jcvi3le9nlxLiAPG8vw8qL80wpJVVrpu0rxRKvnC5HQl0uT6Ckbj+BytT+52QlQ2 c1Jg== X-Gm-Message-State: APjAAAW0+25uWibbryOHCpspPvUb/diZsc8BsmHdfGFUVCFFNm0K0SBt bHzM7MpDwIWQna/S7KBHTNj+AGAHgVZPFtnij4U9LtEuBsWlPxETogGM2HAyze0LsXsadawmUpm L1BR711ebdWhQCMuzZW1YX0X+gQ== X-Received: by 2002:ac2:4901:: with SMTP id n1mr20433668lfi.153.1562230219719; Thu, 04 Jul 2019 01:50:19 -0700 (PDT) X-Google-Smtp-Source: APXvYqxmfpY5YIPh1Ouy8He+4W3682OzfA2/p2AT1/2SxXjGeO+EW3b09rNv08XW0QV2oO8lpHNMrR2mHO+w17rOvvA= X-Received: by 2002:ac2:4901:: with SMTP id n1mr20433656lfi.153.1562230219470; Thu, 04 Jul 2019 01:50:19 -0700 (PDT) MIME-Version: 1.0 References: <7A09D0AA-1285-45CF-9687-B2BF8B1CA021@gmx.net> <0ae06dd8f9be93619e025d5058e55420@ligand.eu> In-Reply-To: <0ae06dd8f9be93619e025d5058e55420@ligand.eu> From: Jeremie Dimino Date: Thu, 4 Jul 2019 09:50:08 +0100 Message-ID: To: Francois Berenger Cc: caml users Content-Type: text/plain; charset="UTF-8" X-JS-Exim-Data-Received: 2019-07-04 04:50:20-0400 X-JS-Processed-by: mailcore Subject: Re: [Caml-list] Gnu readline functionality in ocaml? Reply-To: Jeremie Dimino X-Loop: caml-list@inria.fr X-Sequence: 17675 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: More precisely, zed implements the part of text edition that is completely independent of the actual user interface. Lambda-term on the other hand is a comprehensive terminal library that among other things relies on zed to provide readline-like functionality and text edition widgets by "connecting" zed to the terminal operations. But for instance, it would be straightforward to create a simple text editor using zed and notty. On Thu, Jul 4, 2019 at 2:05 AM Francois Berenger wrote: > > 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. -- Jeremie