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 ESMTP id 78E8C5D4 for ; Wed, 3 Jul 2019 09:42:02 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,446,1557180000"; d="scan'208";a="390189090" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 03 Jul 2019 11:42:00 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 15A308247D; Wed, 3 Jul 2019 11:42:00 +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 5BBC08247D for ; Wed, 3 Jul 2019 11:41:54 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=sp@orbitalfox.eu; spf=Pass smtp.mailfrom=sp@orbitalfox.eu; spf=Pass smtp.helo=postmaster@orbitalfox.eu IronPort-PHdr: =?us-ascii?q?9a23=3AZChDDBLjBNKmMfVzaNmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRKv3xwZ3uMQTl6Ol3ixeRBMOHsqgC0LKd6vCocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmSSxbal8IRmqogndq8obipZ+J6gszRfEvmFGcP?= =?us-ascii?q?lMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3QqBWAzogM2Au+c3krgLD?= =?us-ascii?q?QheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4qx2ThLjlS?= =?us-ascii?q?UJOCMj8GzPl8J+kqxbrhKiqRJxzYHbb4OaO+ZxcK7GYdMXR3BMUtpNWyFPAI6x?= =?us-ascii?q?aZYEAeobPeZfqonwv0YAowGjDgSrH+Pv0iRFhnjs3aIh0uQhDRvJ3AguH9IJv3?= =?us-ascii?q?XYtsv6NLoLXO2z0aLGwzLDb/ZM1jf87ojFahchru2WUrJ1dcrd004vFxnKjlmI?= =?us-ascii?q?pozlPi+V1uQQs2eA9eZvSeWvi2shpgpsoTav3t8hh43Ji44P11zJ9zt1zJwrKd?= =?us-ascii?q?C2VkJ3e8CoHIdOuyycKoB4WNktQ3tytyY/0rAGuYC0fCwNyJk/wB7fceeIc4mU?= =?us-ascii?q?4h35UOaRLzB4hX1/dL2hmha+6UmgyuviWcmoyFtHqipInsPRun0PyRDf8NaLR/?= =?us-ascii?q?Vj8ku7xzqDyx7f5vlBIU8ulKrbL5AhwqQ3lpoWqUnDBTf2lV7xjK+MbUok+/So?= =?us-ascii?q?5P7jYrXooZ+dOJV4hR/jMqg2gMywHfw4MhQSX2ic4emzyKfs/Uj9QLlTiv02k7?= =?us-ascii?q?LZsIzBKMQApq+5BhdV3Zw55xa+CTemytUYkmMdIFJLYhLUx7TublrHJfS9Cfak?= =?us-ascii?q?n3ytli1qzrbIJO7PGJLIe0P72OP6ZZ568URd1AM3w9dPoZ9JXOJSaMnvU1P84Y?= =?us-ascii?q?SLRiQyNBa5lr6+WYdNk7gGUGfKOZe3dabbsFuG/OUqerTeY5UfuSr0L/Yi97jj?= =?us-ascii?q?kC1gwANPTeySxZISLUuAMLF+OUzAPCjrmN0ADW4OsA0uCuH32gXbDGxjIk2qVq?= =?us-ascii?q?d53QkVTYKrCYCaG9KqmraAwC6/EJpGIG1bWAmB?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BFVADNdxxdZMrorF9lHAECFwECBQQBB?= =?us-ascii?q?4FRgS4CAQEBAWFqA04zKIQcknWCHYNSlw8JAQMBMQcBAgEBhEACC0EJgUscBgE?= =?us-ascii?q?ENBMBAwEBBAEBAgECAwEEXYpCDII6IoJvBiMdAQE4DwsaAiYCAlcTCAEBEIMOA?= =?us-ascii?q?YIOC6NYcYEygnkBAQWBMgGBFIRzCYEMJgIBAQEBAQGLWReBf4E4gUN6Lj6CSBk?= =?us-ascii?q?Cgi6CPYJYlGGVUA4JghiGVo0jIYIbAXuKFYpFlG2SBSCBWXMSO4JsCYYpgQGEE?= =?us-ascii?q?4VAPgMwgQQBjSYBAQ?= X-IPAS-Result: =?us-ascii?q?A0BFVADNdxxdZMrorF9lHAECFwECBQQBB4FRgS4CAQEBAWF?= =?us-ascii?q?qA04zKIQcknWCHYNSlw8JAQMBMQcBAgEBhEACC0EJgUscBgEENBMBAwEBBAEBA?= =?us-ascii?q?gECAwEEXYpCDII6IoJvBiMdAQE4DwsaAiYCAlcTCAEBEIMOAYIOC6NYcYEygnk?= =?us-ascii?q?BAQWBMgGBFIRzCYEMJgIBAQEBAQGLWReBf4E4gUN6Lj6CSBkCgi6CPYJYlGGVU?= =?us-ascii?q?A4JghiGVo0jIYIbAXuKFYpFlG2SBSCBWXMSO4JsCYYpgQGEE4VAPgMwgQQBjSY?= =?us-ascii?q?BAQ?= X-IronPort-AV: E=Sophos;i="5.63,446,1557180000"; d="scan'208";a="390189022" X-MGA-submission: =?us-ascii?q?MDHd4S6Iu2jGbCAAgTI6bq3Qbl1GR83f0illfq?= =?us-ascii?q?CuKvswRDJaY8O5ZSFeZu52OEGg1spD+LGggS3f7lC17p6r4hoMDddilf?= =?us-ascii?q?oNsLRyA3Z+UuEzIBqzfiHpp6WufvtqS89cfJ1WszeLbuZFBMlrM0ozUs?= =?us-ascii?q?zmNMnBRzNYzvqhj0HoLogyvg=3D=3D?= Received: from orbitalfox.eu ([95.172.232.202]) by mail2-smtp-roc.national.inria.fr with ESMTP; 03 Jul 2019 11:41:53 +0200 Received: from [192.168.88.15] (unknown [192.168.88.15]) by orbitalfox.eu (Postfix) with ESMTPSA id 77BA3AA003E for ; Wed, 3 Jul 2019 10:41:52 +0100 (BST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=orbitalfox.eu; s=orbitalfox; t=1562146912; bh=Qzjf3bKtnP6+a/BeSvudhqKgmg5z9rgPoXXqjEy65aM=; h=Subject:To:References:From:Date:In-Reply-To; b=AsTAD/vSP/wjh4a03JtD4r/mudp7GpiAg/6P5JEetNAInuQsIorsibljQca6bxNLh uXnbdihUUXap2OclHH6V8t/UTPzBgCFRQ3wdR4F7zinWR2n+Loi//XaWNUKG7T2sus sKWulDb2O1XP/n4Jo90zHYWAIeS3I/mHDiSkgGdpNs6L458e8oEjOGlW1HOglkMjaC va49ZVq6V5rJx7eiKVz3E3STzK/IqlizHXG9ZGDjuTeGC0BcwGPHAgbzZD6vigoJsw 5jZeapoicUp+YbkD/fAGAjOXG67CnG3aV3y3pHxBJNmbZVIkuNlKeUTUmHC5f7aOrE ELgXSXEGaca+g== To: caml-list@inria.fr References: <7A09D0AA-1285-45CF-9687-B2BF8B1CA021@gmx.net> From: SP Message-ID: Date: Wed, 3 Jul 2019 10:41:51 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.7.1 MIME-Version: 1.0 In-Reply-To: <7A09D0AA-1285-45CF-9687-B2BF8B1CA021@gmx.net> Content-Type: text/plain; charset=utf-8 Content-Language: en-GB Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Gnu readline functionality in ocaml? Reply-To: SP X-Loop: caml-list@inria.fr X-Sequence: 17673 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: 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]. [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.