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 4FB3E5D4 for ; Tue, 2 Jul 2019 16:48:41 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,443,1557180000"; d="scan'208";a="390098019" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Jul 2019 18:48:38 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 56B8C826EA; Tue, 2 Jul 2019 18:48:35 +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 759AA8247D for ; Tue, 2 Jul 2019 18:48:25 +0200 (CEST) Authentication-Results: mail3-smtp-sop.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=3AOTjkVBFaPKLsYcHxvxUI+p1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ78pMuwAkXT6L1XgUPTWs2DsrQY0rCQ6fCrADReqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba5sIBmsswnctcYajZZ+Jqsw1xDEvmZGd+?= =?us-ascii?q?NKyG1yOFmdhQz85sC+/J5i9yRfpfcs/NNeXKv5Yqo1U6VWACwpPG4p6sLrswLD?= =?us-ascii?q?TRaU6XsHTmoWiBtIDBPb4xz8Q5z8rzH1tut52CmdIM32UbU5Uims4qt3VBPljj?= =?us-ascii?q?oMOjgk+2/Vl8NwlrpWrhK9qBJwzIHabpybOvlgcK3aZt4aWXNBXsNNWyxBHo+x?= =?us-ascii?q?bY0CBPcBM+ZCqIn9okMDoxmgCgmoAePv1yNIjWLr0K0gyeshFxzJ3Ag9FN8JsH?= =?us-ascii?q?TbstH1NKIPUeCp1qXH1i/DYOlQ2Tjg7IjFaR8hofSDXL5qd8re11UvGhrDg16N?= =?us-ascii?q?qoLlJyuY2voQv2SF9eZsS/yjhmw9pw1soDWj3NkghpTRio4L1lzI6D91zJs7KN?= =?us-ascii?q?C6UkJ3f96pHZtKuyyUNIZ7RN4pTXtytyYg0LIGvIa2fCgUx5QjwB7Sc/mHc4+V?= =?us-ascii?q?4hL/TuqRLjJ4hX1/dLK5mRmy7VCsyuz6VsaqzFZHtjRJnsTSunwXyRDf9MqKRu?= =?us-ascii?q?Fg8kqjwzqDyR3f5vlBIU8ulKrbL5AhwqQ3lpoWqUnDHjH5mEHzjK+LakUo4POn?= =?us-ascii?q?6/79bbXgu5CcM5R5ig77MqUhgMC/B/o3MhQWU2iB5eu8zKHj/VH+QLhSkvI5iK?= =?us-ascii?q?zZsJTDKcQfp665GBNV35046xe/CjemyM4XkWMGLFJDYhKHjpLmN0vAIPDiXr+D?= =?us-ascii?q?hAGnmTJvj+3dM6f6SsHGJ33H1bPgZqpV6khGyQN1w8oJtLxODbRUAP/3X1Lt/P?= =?us-ascii?q?bCBxk1N0Tgw+vjDchhkIkEUGSDBoeWNbOUt1KUsLF8a9KQbZMY7W6uY8Mu4OTj?= =?us-ascii?q?2CdgxQ0tOJKx1J5SU0iWW+x8KhTLbn/8xNEMDTVS51dsfKnRkFSHFAVrSTOyUq?= =?us-ascii?q?Y7v21pDYW7EcHMQ5DrhrGdjn/iT89mI1teA1XJKk/GMoCNWvMCciWXc51ulyxC?= =?us-ascii?q?U7W9GdYs?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DNCQANihtdhxUR49RmHgEGBwaBZwKDA?= =?us-ascii?q?k8yKIQcknSBaoQFhVoihWGLMAkBAwEMLAECAQGGWxsHAQQ0EwEDAQEEAQECAQI?= =?us-ascii?q?DARMBAQEIDQkIKYo+DEIWAYFhIoMYHQEBODQCJgJfgzWBagEDHwKaGYowcYEyg?= =?us-ascii?q?nkBAQWCR4F+AUoDaYE+CYEMKAGEcYZtgVc/gTgME4pYMoImlSGVGAcCgggQA1o?= =?us-ascii?q?EkzeCGwGLD4pCoVODMYFngXkzGi5FKgGCQT6CAxqIMIYYITOBBgEBiU+EVAEB?= X-IPAS-Result: =?us-ascii?q?A0DNCQANihtdhxUR49RmHgEGBwaBZwKDAk8yKIQcknSBaoQ?= =?us-ascii?q?FhVoihWGLMAkBAwEMLAECAQGGWxsHAQQ0EwEDAQEEAQECAQIDARMBAQEIDQkIK?= =?us-ascii?q?Yo+DEIWAYFhIoMYHQEBODQCJgJfgzWBagEDHwKaGYowcYEygnkBAQWCR4F+AUo?= =?us-ascii?q?DaYE+CYEMKAGEcYZtgVc/gTgME4pYMoImlSGVGAcCgggQA1oEkzeCGwGLD4pCo?= =?us-ascii?q?VODMYFngXkzGi5FKgGCQT6CAxqIMIYYITOBBgEBiU+EVAEB?= X-IronPort-AV: E=Sophos;i="5.63,443,1557180000"; d="scan'208";a="312200087" X-MGA-submission: =?us-ascii?q?MDH+FXwHCm4OnHSoACywvV53teIl58jyUPEmnX?= =?us-ascii?q?3J/XjdLcNnroLOxJR+HOn41n34lCGq6Khx3WCj14HvTnvxcBNgUYAEFY?= =?us-ascii?q?9w18QFkmEbhEVITF9DFI/VO6ORW98JzmIzV398a8YPRIopP3XGTqdomB?= =?us-ascii?q?BDBVIxDnKCUqp5ibZx6YNf7g=3D=3D?= Received: from mout.gmx.net ([212.227.17.21]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 02 Jul 2019 18:48:24 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=gmx.net; s=badeba3b8450; t=1562086103; bh=y5KrP/1nua1H9w5bbOpKE2Pc8EEYPH5U/nf9Rtdyrbo=; h=X-UI-Sender-Class:From:Date:Subject:To; b=agvXxtweJG+doSzXHh6NJDiMYDDBOTB5XgRN6vKxBkDGTpuatUZFDR0PFRzsHn6My vMbhHGTgYYY3FVYLhq+PE9uk+rSTkbv3cJ9helfUhBWOMKeDzlex5vDlvsp8PvUK2f wF0xE/hJeIvIWLOtz7M7iY0CQdUPRcBRaP5VCYgw= X-UI-Sender-Class: 01bb95c1-4bf8-414a-932a-4f6e2808ef9c Received: from [192.168.1.69] ([201.137.255.38]) by mail.gmx.com (mrgmx103 [212.227.17.168]) with ESMTPSA (Nemesis) id 0LiTrM-1iGJC70JLg-00ceVV; Tue, 02 Jul 2019 18:48:23 +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 11:48:20 -0500 Message-Id: <7A09D0AA-1285-45CF-9687-B2BF8B1CA021@gmx.net> To: caml users X-Mailer: Apple Mail (2.3445.104.11) X-Provags-ID: V03:K1:TN6HwBuv9pWKDhFWjJnZJHKfDtnTAJN9y02xaazMLBzw7B02FKR jkPblPFFKiR8+Aj54fo8Hu9ijFKKzzLYpxukiFBVnqXevbCmCkzU4Y2oss2yxVjF238L9KS 0j5DXeasR79hygKhjQ/LM2z3L+hh8uPj4lg5hUl+LdTBEGLs/vuQ6HCSW4UJSqk3hsCtS/Z QC22m1wAqGLAvinRrNulw== X-Spam-Flag: NO X-UI-Out-Filterresults: notjunk:1;V03:K0:FJIC8NFiBOM=:MxFQDfUWyVDFGNB1hSWTGM 2JFO9YfYg44jWxRqkfWMcXLmlgAOQFQXxaVPSizbcTkonnURgcm9o8410/y9m0UF0Gm48jtz9 cTNpIoCmmqaX5JVaCZB/su4c39yG2wt3Q4YYMZFXC0aGtMUn0MOqWbD5nWrN9jJ8RubULN05U 01YPcZeVOg9xiLf9BfoG3CSM6Zl+80htxwB//uEdVDMQarlK1DueSV4yyAe6ThFBilMr7bViE gT0e+AbAKD66tgvIRfWtZ0ms47wO3WC8MtEqBtCwri7qwu0hfno7S2kf2QGJBM8e6EqneezYV t+ZfFMru7/pqo5PzrY3LcMGvY1Kc+Mn0pYrfhPpBOvxGDLiRwO4M5T21L0wkjkJ+PX0U0ajfn NSrWj359jQ1LxDoviSXQ3kqXFumntxzvk5DClaHKASGn3EINUyBBI4y0yPj4do/Ay+y1vHHFt mhNDuJK25FDCTA6dDkWiudjlndz9mvfOObrKKzR8RT1QN6cRP19CUH68R7mkx2sVUJo9JABn3 vHOFX6dmrB4TpanrzwKUHSIx3r8yB2F6vQHU/HoVkW3w83P8TrxyHE81Vxr2xy4SWDO1YCcjD sd+qaOxsuFYHqCALcQQNL8AUvHCsTvjkgDBS7oPdVhuODTquifrLVrAgH7FoopPvvJwbalhCj FKB5FIJria2lxtmWYHt5EQhwH3qio/BK5dmX9vy8hMelnNtoqyiJpgDDZgrFl0ARb7DHNYAKi 3sHZ0t6C/sPaeDrwGe2w7LDM2yFjIzcwnYqwVl/xn+w0O6DxDctuQXb2c9b99iJ2fEhrjlDRs 9EKzitjkx9Z2k8vBPTkEQsa/FtrBj13hHX+c8xaYmjmM7QbZh8uEuuTQiXulczWt5nNwzaTX0 MMza4Qeg6bVTfLHJ8fOZwTcZ/iYmV/i6329pbsvS5ClOMMmm7PQMabu5Fri/SLcYolRRVDTEG 70jtXXQVOnWjLfm6vfjjHGSqqcHpvnijB76Sn84GYDnxJeq+aU6D0sbX5iS/8Zl2OmGRx6nYO Wpldg3jNChK6civPD4WXjWCFRgpxzHlDwryawBW95XJBu7P8PPiQ7HwDG6nN0JqBHZdrAkSK1 4S1o2dCbQKfR2aH+wXfBtLZ08z/jBpPyGcr Subject: [Caml-list] Gnu readline functionality in ocaml? Reply-To: Helmut Brandl X-Loop: caml-list@inria.fr X-Sequence: 17668 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: Hello list, is there a possibility to write an interactive console program in ocaml = using a functionality like gnu=E2=80=99s readline i.e. allowing the user = to press e.g. arrow up to get the previous line? Regards Helmut=