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 B9C2A5D4 for ; Tue, 2 Jul 2019 17:27:26 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,444,1557180000"; d="scan'208";a="390102168" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Jul 2019 19:27:25 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 8E080826E3; Tue, 2 Jul 2019 19:27:25 +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 67AD58247D for ; Tue, 2 Jul 2019 19:27:18 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=helmut.brandl@gmx.net; spf=Pass smtp.mailfrom=helmut.brandl@gmx.net; spf=None smtp.helo=postmaster@mout.gmx.net IronPort-PHdr: =?us-ascii?q?9a23=3AKE0BchW0VDy7jJq9cgYqN36ICt7V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYYxCGt8tkgFKBZ4jH8fUM07OQ7/m6HzZQqs/Y7DgrS99lb1c9k8?= =?us-ascii?q?IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBo?= =?us-ascii?q?KevrB4Xck9q41/yo+53Ufg5EmCexbal9IRmrswndrNcajIhtJqos1xfErWZDdv?= =?us-ascii?q?hLy29vOV+dhQv36N2q/J5k/SRQuvYh+NBFXK7nYak2TqFWASo/PWwt68LlqRfM?= =?us-ascii?q?TQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4qx2RhLklD?= =?us-ascii?q?sLOjgk+2zRl8d+jr9UoAi5qhJ/34Hab46aOudwcKPTY90VR2lPUMFKWixdG4O8?= =?us-ascii?q?apcDD+odMetaqYT2ulsArQG5BQmpHO7hyCFHhnvz3a0nz+QqDBzL3BY6ENIIrX?= =?us-ascii?q?vUqMj+OaASUe+ryKnIyCjDb+9M1Tjm8ojHaBYhruyIXb9rfsrRzEYuGxnDjlqO?= =?us-ascii?q?tYzoJjWY3fkOvWiD9+dsS/+jh3A9pw1vvDSixN0ghpTJi44P11zJ8T11zJgpKd?= =?us-ascii?q?GlUkJ3fNCpHZlKuy2EN4Z7QtkuTm9rtSs817YIo4S0fDIQx5Qi3xPfa+KIc4yP?= =?us-ascii?q?4h/7UeaRJip4hG5/dLKwghaz/lKsyuviWcmoyFpKryxFncfQtn0VyRDf99aLRu?= =?us-ascii?q?Fj8ku/2zuDzR3f5+FeLUwpkafXM5shzaQxlpoXv0TDBCj2mEDuga+WaEok/u2o?= =?us-ascii?q?6/n7Yrn8vZCcLZV7igfjPaQqgcG/DuE4MwcUU2id5+u8yKXv/VflT7VSkv02jq?= =?us-ascii?q?7ZvYjGKssBo665BxZZ0oIi6xakEzery88YnHkCLFJdYh2LlYnpO1fUIPD5F/iz?= =?us-ascii?q?mVqskC04j8zBa7boB5GFM2POiqypKb107koZzAso0fhe4YhVA/cPOqSgdFX2sY?= =?us-ascii?q?n4Axs8LhD86fzuDtl5ntceVGaKH7PfOrnbt1OMzu0qM6+KaZND62W1EOQs+/O7?= =?us-ascii?q?1SxxolQaZ6T8hcJLOkD9JexvJgCiWVSpms0IQDUFuxp4SuH22gXbDGxjIk2qVq?= =?us-ascii?q?d53QkVTYKrCYCaGtKoh6Gdmii+DttQa3wUUgndQ0etTJ2NXrI3UAzXJ8ZgljIe?= =?us-ascii?q?Ur3wGYAkxVeouROokrc=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DjAQCskxtdhxMP49RmGwEBAQEDAQEBB?= =?us-ascii?q?wMBAQGBZwKDAk8yKIQcknSCD4NghVoihWGLMAkBAwEMLAECAQGEQAKCGRsHAQQ?= =?us-ascii?q?0EwEDAQEEAQECAQIDARMBAQEIDQkIKYo+DEIWAYFhIoJuAQEBAwEjHQEBOAQLC?= =?us-ascii?q?xgCAiYCAlcGE4MigWoBAw4RApouijBxgTKCeQEBBYREAUoDaYE+CYEMKAGLXoF?= =?us-ascii?q?XP4E4H4IeLj6ERIMKMoImlSGVGAcCgggQXQSTN4IbAYsPikKhU4MxgWeBeTMaL?= =?us-ascii?q?kUqAYJBPoIDGogwhhghMwGBBQEBiU+EVAEB?= X-IPAS-Result: =?us-ascii?q?A0DjAQCskxtdhxMP49RmGwEBAQEDAQEBBwMBAQGBZwKDAk8?= =?us-ascii?q?yKIQcknSCD4NghVoihWGLMAkBAwEMLAECAQGEQAKCGRsHAQQ0EwEDAQEEAQECA?= =?us-ascii?q?QIDARMBAQEIDQkIKYo+DEIWAYFhIoJuAQEBAwEjHQEBOAQLCxgCAiYCAlcGE4M?= =?us-ascii?q?igWoBAw4RApouijBxgTKCeQEBBYREAUoDaYE+CYEMKAGLXoFXP4E4H4IeLj6ER?= =?us-ascii?q?IMKMoImlSGVGAcCgggQXQSTN4IbAYsPikKhU4MxgWeBeTMaLkUqAYJBPoIDGog?= =?us-ascii?q?whhghMwGBBQEBiU+EVAEB?= X-IronPort-AV: E=Sophos;i="5.63,444,1557180000"; d="scan'208";a="390102108" X-MGA-submission: =?us-ascii?q?MDGcFTTVDF9Kg3BlRoicFrqsTjK/443nVbZU1a?= =?us-ascii?q?gbXY0tnGp4/kbfFEaody5QSywYO4nOb1EgbMlgtOktRxqy/YvgNOTIAs?= =?us-ascii?q?sbGX1beQPVD7HkdP921u+ESkjc6Bx+cHd8OjDvkF2yr+TpG/r66eAMEu?= =?us-ascii?q?z2II+Ai4LL3uJUCdIFlYoeAQ=3D=3D?= Received: from mout.gmx.net ([212.227.15.19]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 02 Jul 2019 19:26:47 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=gmx.net; s=badeba3b8450; t=1562088406; bh=U5Udhp0LGMiNsitVHI+sA0TJJ2inIW+HvANZF1kLp/w=; h=X-UI-Sender-Class:From:Subject:Date:References:To:In-Reply-To; b=TwlhaPBLr0QpextJrlHpeDwMpgB4N2hOfNRogmAxPsRPk30gILnw5qr48ma8svGc8 RB5heD2felagp+S2dgSj4Z/vcY/9OZ8/wKfUAIAoRUP3B5NQGhdpNMfAwwz6Mt3Wsf 94q/aowqzBcaONbanMZilDBMapqFna9mTBk5R1pc= X-UI-Sender-Class: 01bb95c1-4bf8-414a-932a-4f6e2808ef9c Received: from [192.168.1.69] ([201.137.255.38]) by mail.gmx.com (mrgmx005 [212.227.17.190]) with ESMTPSA (Nemesis) id 1Mn2W5-1iQX4b17hf-00k4Gq for ; Tue, 02 Jul 2019 19:26:46 +0200 From: Helmut Brandl Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.11\)) Date: Tue, 2 Jul 2019 12:26:43 -0500 References: <7A09D0AA-1285-45CF-9687-B2BF8B1CA021@gmx.net> <3dc7d021-2ca7-be3d-ae5d-716b455389ba@derivation.org> <20190702170205.GI24967@church> To: caml users In-Reply-To: <20190702170205.GI24967@church> Message-Id: <5A87FF89-DF7B-4B36-AA6B-901E200CD401@gmx.net> X-Mailer: Apple Mail (2.3445.104.11) X-Provags-ID: V03:K1:+RIaT9UfIknHloTv6csSmk2qazMuLO7Q2Jd2Ghl7oPGClmXejx3 A53dwX7jn3j3MrN9FcB6yoP1XymSo/KjxEDFSSsDYMBINe1QSpw4F0xSxAhyZJczgovXNmB XWmuxXlLQvguhAvG8tfgziYyFIN8sVMYAnGlcie4dBvCpdAgwsVsHqqqVXgeFhud2d7tvyC 2v78k3d9aCIOoteacU4hA== X-Spam-Flag: NO X-UI-Out-Filterresults: notjunk:1;V03:K0:zumcYYjxuyU=:glOxYwIDZbK2JGxc+UyP5+ O20dLK453t5zI/j19FgUPmgBmb86nPD1VGFXYff1EufPlBBi1cCbmzHbhd5PZcdb6UTdqv0ol ypJ4eCWHangCA/e/lJXrkKWgplW1HQKphxPkaVSUQlYc7MU5S5dEJRJpynzBSj/enIGqWpDsG W+OCXwEymzAmoc2fVUpfwnZ0d0WlvlURKS4hou9ctZmVPEzOsUiDSVy5hUHVYojebIdZzGRi5 A8VcsWkzlVdygyxNLs9yzA+x3exHNYCnVvT7feLWm39dxSXCLep1LaYgScJ2+uGb9UL1XLknG rwvdktWdlyVYOl7DzDtSGFX5wIR+5VJnLPQhkEVyZOTno768CGGUacckW9D3Bb024N+HUX9au +yR8uwSchX7TQ/Dg2hzELiINvjMdhobc6E+QN4LLBhXcrTx9kwgILA1Yf3abQbvAkTZ21tTVD vTFFHAgcfji1pwj1GzdsYUadQdshvFff74q8wg7U3YcFBkcEFwnEHSTZGUPr2X1uCJ5OqDDE/ H8oIAt61Llzqo0Gj+9Iiwsi1IV5J9KFCGBXFz5Y262c4wIdzUwyTH2VeDQxkRYlWyhwyzP8hw VCbuZi34nDz5ZiEJ5uOyxAu22hHJLE/bH0HyVBwEnTg+NW01JDXmyXjiBfcqUNRGljMa2XeH0 9DMMuv8n9A+CjCfCn8CsnR75rndDsrhIt3VGP9VKMup/I6vVEZmaY37kuwwW+EPsXQp1mzuSL K6p3Cr48iGbciarDg3uAWJ9uuFib6pEEaxFZbYAUEVc8dRUSHRwZ9Lei29Sp2IrT4Z41FZGNR lRGjNLhO/HGW1efogIy3DpwLAUhRzRq9FLiDMJ/zciHGDmXZ85NiFwjztlDtPVsXzpkMVIkns Uulxy5uCO+w2OT+iHUcGrThK7+38LlRjjecoRd3mn0sYxcsgCgEXS+C6gqGju3ZJPB8WcSiV4 IAFY7tQo3NI5UpV5YkogiJSYjrgqmEZwa1OiLWv9vw8YlzZjnp44pTPPaWjFR9JIobhAsEQfH 9ICM+6wNtf54q7n4/rMUvN+KsfRY9IVK5hhaun6uu1zdApnKe3J75frPcu7O7BubAOzIwDXeo 9WFwUUhEbJMlbYS93GT21XI9/+MwCV6VfIp Subject: Re: [Caml-list] Gnu readline functionality in ocaml? Reply-To: Helmut Brandl X-Loop: caml-list@inria.fr X-Sequence: 17671 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: Thanks for the answers. It seems that =E2=80=9Cline noise=E2=80=9D is = exactly what I need. > On Jul 2, 2019, at 12:02, Simon Cruanes = wrote: >=20 > There are also self-contained linenoise bindings (`opam info = linenoise`) > that are reasonably simple and lightweight.