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 30FEB5D4 for ; Tue, 2 Jul 2019 17:01:53 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,444,1557180000"; d="asc'?scan'208";a="390099589" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Jul 2019 19:01:51 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id DA114826E6; Tue, 2 Jul 2019 19:01:51 +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 35EB68247D for ; Tue, 2 Jul 2019 19:01:46 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=Neutral smtp.pra=simon.cruanes.2007@m4x.org; spf=Neutral smtp.mailfrom=simon.cruanes.2007@m4x.org; spf=None smtp.helo=postmaster@mout02.posteo.de IronPort-PHdr: =?us-ascii?q?9a23=3A8X4sjhUmrtsSvI9OQcpbzdit5KPV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBaGt8tkgFKBZ4jH8fUM07OQ7/m6HzZQqs/Z4TgrS99lb1c9k8?= =?us-ascii?q?IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBo?= =?us-ascii?q?KevrB4Xck9q41/yo+53Ufg5EmCexbal9IRmrswndrNcajIhtJqos1hfEpmZDdv?= =?us-ascii?q?hLy29vOV+dhQv36N2q/J5k/SRQuvYh+NBFXK7nYak2TqFWASo/PWwt68LlqRfM?= =?us-ascii?q?TQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4qx2RhLklD?= =?us-ascii?q?sLOjgk+2zMlMd+kLxUrw6gpxxnwo7bfoeVNOZlfqjAed8WXHdNUtpNWyBEBI63?= =?us-ascii?q?cokBAPcbPetAoYfzp0UAowa9CwmiC+zg1iJHiX340qAh3OQtDRvL0RY8E98Urn?= =?us-ascii?q?jZqsj+OqcIUeCyyanF1SjNb/JT2Tf67ojDbw4soeuRXb1qd8re11IvHB7Cg1WL?= =?us-ascii?q?qIzlOjSV1uIXv2eH9epgSPigi2g5pAFquDSj2NsghpXLi48Oz1DJ+ip4zJwyJd?= =?us-ascii?q?2iR052eNipG4ZTuSGCL4Z6X8AvTmFytCs7yLAKo5C2cSkQxJg6yBPTdeSLfouM?= =?us-ascii?q?7x75SeqcLjZ1iGh7dL6hmxq+61Wsx+PgWsSyzV1EtDBKksPWuXAIzxHT6taISv?= =?us-ascii?q?96/kq53DaP0B3T6v1YLUwqj6bbM5khwqUslpUNtkTPBDL5l1vugK+XcEUr5PSo?= =?us-ascii?q?5vz6brjlppKQLY55hwPkPqkgm8GzG/k0PwcQU2SD/OSzzrzj/Un3QLVQif02l7?= =?us-ascii?q?HUsIvbJcQeoa65BRVZ3Zo56xaiFTim1soXnWIdIF5bZB6Lk4rkNkrLIP33Avaz?= =?us-ascii?q?mVOskC1kx/zeJL3uHo3NLmTfkLfmZbty91RTyA83zdxG45JUC6oBIO7oV0/qtN?= =?us-ascii?q?3YCwc5PBauz+bmDtV9zIIeVniVDq+XKqOB+WOPs8cmOfWNYscvuTv7JuJts/vn?= =?us-ascii?q?l2M4n3cRcLOow5ILaXe+WPN8LBPKT2Drh4I6EGINuEIVVvHjjlCZGWpIZnO1We?= =?us-ascii?q?Q3/CwyDo+9S92bHt+FheCRmiChEcsFNSh9FlmQHCKwJM2/UPAWZXfXe5c5y2BW?= =?us-ascii?q?Zf2aU4YkkCqWmkri0bM2fO+I6msfr52xjoEktd2Wrgk78HlPN+rY1miMS29umW?= =?us-ascii?q?ZZFTpqzOZ4u0MvkA7eg5g9uORREJlo390MUgo+MseMnel9FsyqAETZecyVRVHg?= =?us-ascii?q?Ttj0WTw=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BIAACSjRtdh44kQ7lmGQEBAQEBAQEBA?= =?us-ascii?q?QEBAQcBAQEBAQGBZ4NTMo0/iXkqgXSJU4UCgWkDih0JAQMBBwUtAgEBhEACghk?= =?us-ascii?q?bBQY1EwEDAQEEAQECAQIDARMBAQEKCwkIGw6KSoI6KQGCZwZ5EAshJQ8FSYM1A?= =?us-ascii?q?YIOAQGnA4h7gTcQgTSBUYoOeoEcg3UuPoomBIEtAQEBk22VFwEGAQEBghhhkxA?= =?us-ascii?q?nDIIPAYsKikelBIFngXkzGjBDgR6BT4JajkghAYFbE41vAQE?= X-IPAS-Result: =?us-ascii?q?A0BIAACSjRtdh44kQ7lmGQEBAQEBAQEBAQEBAQcBAQEBAQG?= =?us-ascii?q?BZ4NTMo0/iXkqgXSJU4UCgWkDih0JAQMBBwUtAgEBhEACghkbBQY1EwEDAQEEA?= =?us-ascii?q?QECAQIDARMBAQEKCwkIGw6KSoI6KQGCZwZ5EAshJQ8FSYM1AYIOAQGnA4h7gTc?= =?us-ascii?q?QgTSBUYoOeoEcg3UuPoomBIEtAQEBk22VFwEGAQEBghhhkxAnDIIPAYsKikelB?= =?us-ascii?q?IFngXkzGjBDgR6BT4JajkghAYFbE41vAQE?= X-IronPort-AV: E=Sophos;i="5.63,444,1557180000"; d="asc'?scan'208";a="312201329" X-MGA-submission: =?us-ascii?q?MDH70toIORCOdKZmgmb5vNdI8UUo5pcSEZZxOL?= =?us-ascii?q?1wCHjZiJCEUGnqeWcXuIF3UlLEiHTz0QzHo2qx2LgQsN5ffM2SkpgfB7?= =?us-ascii?q?V2VZ87zf+gjnaxn/oh6rFZW1A9cCoxmRPmej4HOjKta2sO7zvlYKvUiH?= =?us-ascii?q?zGeMYld99K5zaRVZDArcUPow=3D=3D?= Received: from mout02.posteo.de ([185.67.36.142]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 02 Jul 2019 19:01:05 +0200 Received: from submission (posteo.de [89.146.220.130]) by mout02.posteo.de (Postfix) with ESMTPS id 104F32400FC for ; Tue, 2 Jul 2019 19:01:04 +0200 (CEST) Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 45dVqy3bxpz9rxT; Tue, 2 Jul 2019 19:01:02 +0200 (CEST) Date: Tue, 2 Jul 2019 12:02:06 -0500 From: Simon Cruanes To: Martin Riener Cc: Helmut Brandl , caml users Message-ID: <20190702170205.GI24967@church> References: <7A09D0AA-1285-45CF-9687-B2BF8B1CA021@gmx.net> <3dc7d021-2ca7-be3d-ae5d-716b455389ba@derivation.org> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="juLeBF1Sbpsr6d7u" Content-Disposition: inline In-Reply-To: <3dc7d021-2ca7-be3d-ae5d-716b455389ba@derivation.org> User-Agent: Mutt/1.11.4 (2019-03-13) Subject: Re: [Caml-list] Gnu readline functionality in ocaml? Reply-To: Simon Cruanes X-Loop: caml-list@inria.fr X-Sequence: 17670 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: --juLeBF1Sbpsr6d7u Content-Type: text/plain; charset=us-ascii Content-Disposition: inline There are also self-contained linenoise bindings (`opam info linenoise`) that are reasonably simple and lightweight. --juLeBF1Sbpsr6d7u Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEElJ/rh48GWcbX032NSsAdCEmqYrYFAl0bjg0ACgkQSsAdCEmq YraFUA//WxF0cTsCAu3Mb/0CASWDaqFOPqnISny1KCPGIRwZgbgnZjqVUYM+igZl 0WMjgaH7XDUVkYegHDLSy88mbAD5zq/Vx9b3ByYVSPELZQljrD4m+2n2lZNvyAhk l/nKMn1XQHya5Pe+vF3HVF6+MXoOlGKBjkkKQJKOojMTdhmFtuGH5FHhkQwOXm24 SfFd+eaQZAIroySJ6rEa9t1hMmLc9iYNutcoYFbWbwhjVYn3xFLcIzREFu2wq8y/ LeMnxpJJnEJZdkVpWbO2qfNTD621UPTid107yeOQjlBVO3vKn3s4AjuLQO3YDTAt QtjSKtqniKIeHdsS7ZMA8wzv3yz8o7dpDZNY66wR0p2z4ssZ4cNTmUpnPI/RS2xa z38zCNZp98tPvUikhNyTYq7WMSLpzFBxoyg0RnH81Mq+H+nNDeTZVDfH7DQUPdRh aKGX5Ym58/cWPhq+0ZxMYr+DLUGXexQd0Q4LdB4+h1Qy8rdmkS+hTehxrpcYFGRY 8QlsmuWqfQMeju6qh4oRAzMMaYZiYluxt0TOV97fVaEDcqL2iiiWVbzPLKcIFaFx RS4ypFhGB3yJ/IELkqo+rQN52f74ttz2Tuuo5GYE+2bfSIYQqDlnTRphjdeU5U1z 6/92G/Wr/wdP94gSGpmlRlsI8kU3SNFo1/ymBhh7oKlEQ4QdW/0= =aJj5 -----END PGP SIGNATURE----- --juLeBF1Sbpsr6d7u--