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 DD9615D4 for ; Tue, 2 Jul 2019 18:13:39 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,444,1557180000"; d="scan'208";a="390105476" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Jul 2019 20:13:38 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 54A89826E4; Tue, 2 Jul 2019 20:13:38 +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 75FC18247D for ; Tue, 2 Jul 2019 20:13:35 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=rixed@happyleptic.org; spf=Pass smtp.mailfrom=rixed@happyleptic.org; spf=Pass smtp.helo=postmaster@out4-smtp.messagingengine.com IronPort-PHdr: =?us-ascii?q?9a23=3Ao+MaghS6dZbMm0lJxjXQtr1COdpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa69ZBKN2/xhgRfzUJnB7Loc0qyK6vqmAzxLuM/d+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAiooQnLqMUbgoRuJrssxhbGv3BFZ/?= =?us-ascii?q?lYyWR0KFyJgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7ULJVEi0oP3g668P3uxbD?= =?us-ascii?q?SxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5LplRRP0lC?= =?us-ascii?q?sKMSMy/WfKgcJyka1bugqsqRtxzIHbY4+aNvR+cK3dc90EWGROQt1cVzBdDo6m?= =?us-ascii?q?c4cCFfAMMfpeooLgp1UOtxy+BQy0CeP1yz9JiWH50rAh3uQhCw7GxBQgHtIKsH?= =?us-ascii?q?vKtNX1KKYSXvyvwKnP1zXDYPVb0ir+5ojQah0soPCBUahtfcbM1EUjDQzIgk+O?= =?us-ascii?q?pYHmOT6ey/4DvHKB7+V6UOKik24npB91ojio3sosjZTJhp4ax1zd7iV5xZo1Jc?= =?us-ascii?q?WiRE5+f9GkC4BQuDuVN4t3RMMiTH9nuCA1yr0Hv560YjIGx4ggxx7ac/CHco6I?= =?us-ascii?q?7Qz/VOuJIDp1hWhpdK+iixqv60StxffwWte33VpSqypKiNjMtnQD1xzJ7ciHT+?= =?us-ascii?q?Nw/l2g2TeAyQ/c9/pJIUAumqrDM54gwrowmYQLsUTfHy/5hF/6jKiMdkUr4uSo?= =?us-ascii?q?8fjoYq36pp+AMI95kh3xPb4rmsy7GOg4NgkOX3OH+emnz73i/Uj5QK1QgfEsk6?= =?us-ascii?q?nZtoraJcUBqaKjDQ9VyIAu4AuhAjeizdQYhmUHI0xfeByajojoOk/BLejkAaT3?= =?us-ascii?q?v1P5mz5uw7XCP6b9KpTLNHnK1rn7Lphn7EsJ0gsjwNx355tMEqAFLervW0S3s8?= =?us-ascii?q?bXXUxxCBC93+uyUIY17YgZQ2/aWvbIYpOXikeB46cUG8fJYYYUvDjnLP18uKzu?= =?us-ascii?q?hGchiFsQZbWo1t0Qcn/qR606cXXcWmLlh5I6KUlPphA3FbO4iFSaSS9Xam6uXq?= =?us-ascii?q?l64Ss0Wtr/UNXzA7u1ibnE5x+VW51bYmcdUwKLDGu0Mp6BR+9KbS+JOcZukzoL?= =?us-ascii?q?WL6uSokskxqpsV2jxg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AMCwA+nhtdhxwEb0JmHgEGBwaBZwKBL?= =?us-ascii?q?gIBAQGCHjIojDpdi1yZIIF6CQEDAQwvAQGEQAKCGRwGAQQ4Ag0BAwEBBAEBAgE?= =?us-ascii?q?CAwETAQEBCA0JCCmKPgyCOiKCbwMDQAEBOA8LRiwrgzuCC6RsgiOCeQEBBYI8g?= =?us-ascii?q?1SBKAmBMgMBAQEBhwOCEoJFF4F/gTiCPS4+hRGFFao5CZYPIYIbAZVRpQSBfoF?= =?us-ascii?q?ifUMuGlaBToJBGoNXhRSFQT0BAjCPMQEB?= X-IPAS-Result: =?us-ascii?q?A0AMCwA+nhtdhxwEb0JmHgEGBwaBZwKBLgIBAQGCHjIojDp?= =?us-ascii?q?di1yZIIF6CQEDAQwvAQGEQAKCGRwGAQQ4Ag0BAwEBBAEBAgECAwETAQEBCA0JC?= =?us-ascii?q?CmKPgyCOiKCbwMDQAEBOA8LRiwrgzuCC6RsgiOCeQEBBYI8g1SBKAmBMgMBAQE?= =?us-ascii?q?BhwOCEoJFF4F/gTiCPS4+hRGFFao5CZYPIYIbAZVRpQSBfoFifUMuGlaBToJBG?= =?us-ascii?q?oNXhRSFQT0BAjCPMQEB?= X-IronPort-AV: E=Sophos;i="5.63,444,1557180000"; d="scan'208";a="390105470" X-MGA-submission: =?us-ascii?q?MDG+u3gx4R8vLyH5xWaP4RfOT0t7axeydJaZhA?= =?us-ascii?q?XXkqNYiHkoeduIRgvV3z8iavKGs9GwG166KLOfrsLgljUTD7dr5kNsO1?= =?us-ascii?q?2vWJDxhrldD4468eZ/Hs+Scy3DSe+CjRjncVnymi1XxQawRA1XwOipXO?= =?us-ascii?q?Sau5e1JtouU+0AblnCjyqdhw=3D=3D?= Received: from out4-smtp.messagingengine.com ([66.111.4.28]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 02 Jul 2019 20:13:34 +0200 Received: from compute3.internal (compute3.nyi.internal [10.202.2.43]) by mailout.nyi.internal (Postfix) with ESMTP id C617C21FC1 for ; Tue, 2 Jul 2019 14:13:31 -0400 (EDT) Received: from imap2 ([10.202.2.52]) by compute3.internal (MEProxy); Tue, 02 Jul 2019 14:13:31 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=happyleptic.org; h=mime-version:message-id:in-reply-to:references:date:from:to :subject:content-type; s=fm3; bh=XuBkMJBPNxPWIpsr3mYF8fYchFesx4o HyruzyCCGjlQ=; b=LuglneRUzXRsYI7MbkkRJol/zAlq6thsLZNOT/9rMxCy54W iJrpfqZGCY7zyo7BYXcnATlq1n0Wqd5+RvhQ7ZrjrkSBmIKYE9ItBfz0+NiViWr3 e0inlOg/KMcwsN6c8DwOVos3XC43AwXeBs75T+DZ/SzXh7hVm/5fnUsEVd1Nhz4D Gr3ZaQAux+UgJHqb7YlvYp4aUI1j5bDAvkcDWFLS7jkbz23YFOCx0IthzM+/ie3i HehZy7pw9ywiLjd8klFCxgpfdvAEr+tabEwF4oI83nG33y4pBifS0kDd8j3IMF2X /USA20VOlgiWLVr/K3um4Uc6XR/TUagjyz29+Jw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-proxy :x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s=fm3; bh=XuBkMJ BPNxPWIpsr3mYF8fYchFesx4oHyruzyCCGjlQ=; b=s61JoYxqh1rE+BPAxSrms9 MQgaEH0ZhT9IvYXeBg7l/NOYD2fGb5mop1T5dU4NipfOqny+qC6BJSWetjGV1y28 BzLbmhZkNDS7g7AH5ttto0SGAhECnlbUe0QslrNyBxq37qLxJh5TP2so0nl7qIpp 6W7hrGrG4iSs9OyF9LUA+gZZcxqM2VY6dzix34UGLkXsuQcOtrAX9o1M5rQfRxGU TPVcACSFobkiUU3ggGoFa33z4gVetIQ+4lElywRa7tyhxdF7gz/4t5oYY0umvqJL /JvyqdQlPe8xBCzb4y5SsFQEfS8WwBrk78m2w507983HRLsQ0RPko5KMsUpyLUyQ == X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduvddrvdekgdduvdehucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucenucfjughrpefofgggkfgjfhffhffvufgtsehttd ertderredtnecuhfhrohhmpehrihigvggusehhrghpphihlhgvphhtihgtrdhorhhgnecu rfgrrhgrmhepmhgrihhlfhhrohhmpehrihigvggusehhrghpphihlhgvphhtihgtrdhorh hgnecuvehluhhsthgvrhfuihiivgeptd X-ME-Proxy: Received: by mailuser.nyi.internal (Postfix, from userid 501) id 20E28E00A2; Tue, 2 Jul 2019 14:13:31 -0400 (EDT) X-Mailer: MessagingEngine.com Webmail Interface User-Agent: Cyrus-JMAP/3.1.6-731-g19d3b16-fmstable-20190627v1 Mime-Version: 1.0 Message-Id: In-Reply-To: <7A09D0AA-1285-45CF-9687-B2BF8B1CA021@gmx.net> References: <7A09D0AA-1285-45CF-9687-B2BF8B1CA021@gmx.net> Date: Tue, 02 Jul 2019 20:13:30 +0200 From: rixed@happyleptic.org To: caml-list@inria.fr Content-Type: text/plain Subject: Re: [Caml-list] Gnu readline functionality in ocaml? Reply-To: rixed@happyleptic.org X-Loop: caml-list@inria.fr X-Sequence: 17672 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: This is unrelated to OCaml, but are you aware of tools such as rlwrap ?