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 E95525D4 for ; Tue, 2 Jul 2019 16:52:52 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.63,444,1557180000"; d="asc'?scan'208";a="390098367" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Jul 2019 18:52:11 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id EFD73826E5; Tue, 2 Jul 2019 18:52:11 +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 C75A38247D for ; Tue, 2 Jul 2019 18:52:05 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=martin@derivation.org; spf=Pass smtp.mailfrom=martin@derivation.org; spf=None smtp.helo=postmaster@rhea.htu.tuwien.ac.at IronPort-PHdr: =?us-ascii?q?9a23=3AkzmHWR93Zgr4BP9uRHKM819IXTAuvvDOBiVQ1KB3?= =?us-ascii?q?1u0cTK2v8tzYMVDF4r011RmVBN+dsaIP0rKH+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxhWiDanf79/Lxq6oRjNusQSnIBvNrs/xhzVr3VSZu?= =?us-ascii?q?9Y33loJVWdnxb94se/4ptu+DlOtvwi6sBNT7z0c7w3QrJEAjsmNXs15NDwuhnY?= =?us-ascii?q?UQSP/HocXX4InRdOHgPI8Qv1Xpb1siv9q+p9xCyXNtD4QLwoRTiv6bpgRQT2gy?= =?us-ascii?q?kbKTE27GDXitRxjK1FphKhuwd/yJPQbI2MKfZyYr/RcdYcSGFcXMheSjZBD5uh?= =?us-ascii?q?YYURAeoPPeVWoYfyqFQMsRSzHgasCP/1xzFPmnP6wa833uI8Gg/GxgwgGNcOvW?= =?us-ascii?q?zTotrvLqcSTeG1zK/VxjvfbvNZxzH955bSchs8pvyMWKh/cdDNyUkuEQPIlUif?= =?us-ascii?q?ppL/PzOUyOQCqXSb7+tnVeKpkWInrBtxoje2y8oql4LHiIUVylXe+iV4xoY4Pd?= =?us-ascii?q?q4R1Jhbt6hFJtcrSaaN5F5Qs86Xm5ouTg1xqcAuZGlYCgHzoksyR3Ha/GfboSE?= =?us-ascii?q?/BHuWPyMLTp2mH5pYrayihao/US+xeDxUNS/3kxQoSpfiNbMs2gA1xzN5ciDTf?= =?us-ascii?q?tw5l2h2TaR2A/J8O1EIVw0lbfBJ549374xmJsTvlrFHiPsgkr5kLWaeV84+uSw?= =?us-ascii?q?6uTnZKvppoOEOoNplA3zMb4iltGxDOgkKAQDW2iW9f6i2LDs5UH5Ra9Fjvwykq?= =?us-ascii?q?nXqpDaIsEbq7a8AwBPyIYj9xe/DzG93dsFg3YHNlNFeAydgIj1OlHOJ/b4Ae24?= =?us-ascii?q?g1S2nzdn3+rGMaH5ApXRMnjDl6/scqpn5E5ZzAo/1NRf55NPCrEdO//zQU/wtN?= =?us-ascii?q?nADhAjKQC0wuDnCM981owEQ26PDLWZY+vutgqo6+YqPvXETpUcvjr5Y6wl6vrr?= =?us-ascii?q?kGN/k0UUe6Wt9ZQSeDa+E+gwZw2SaH/oysoaHH0R9l41RenuzVmDSiJ7ZnCoXq?= =?us-ascii?q?t66CttW6y8CoKWY4m3nL2HlB26E5tbfCgSD1mWDXbuX4mJQfYSYT6TJcknlSYL?= =?us-ascii?q?A+vyA7Q93A2j4Vepg4FsKfDZr2hB7cq6iIpFotbLnBR3zgRaStyH2jjTHW15hG?= =?us-ascii?q?IWTiM326Y5plZymA/agPpIxsdAHNkW3MtnFwIzNJrS1et/Uo6gVg/bf8mAVFeh?= =?us-ascii?q?RJOhGz5jF4tske9LWF50HpCZtj6G3yeuBOVOxaaLCZVy8r7BmWTsOMdwzTDP3+?= =?us-ascii?q?8okwt+Tw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CMAABXixtd/xhfgoBmHQEBBQEHBQGBU?= =?us-ascii?q?wgBCwGCFmpRM4REYoc6jGeDYJUSgXsJAQMBBwUfEAEBhEACghkbBwEEMAkOAQM?= =?us-ascii?q?BAQQBAQIBAgMBbIo3DII6KQGCZwEFI2YLGCoCAlcGAYM0AYIKD6U2gTKIfIE3C?= =?us-ascii?q?gaBNAGBUIMhhwSBf4E4gj0uPodOglgEqjUJghhhgkqCHYEMjSMhdIEnlVKNMIc?= =?us-ascii?q?8kBiBUDiBWDMaCCgIO4Jtiwo7hUFAj1sBAQ?= X-IPAS-Result: =?us-ascii?q?A0CMAABXixtd/xhfgoBmHQEBBQEHBQGBUwgBCwGCFmpRM4R?= =?us-ascii?q?EYoc6jGeDYJUSgXsJAQMBBwUfEAEBhEACghkbBwEEMAkOAQMBAQQBAQIBAgMBb?= =?us-ascii?q?Io3DII6KQGCZwEFI2YLGCoCAlcGAYM0AYIKD6U2gTKIfIE3CgaBNAGBUIMhhwS?= =?us-ascii?q?Bf4E4gj0uPodOglgEqjUJghhhgkqCHYEMjSMhdIEnlVKNMIc8kBiBUDiBWDMaC?= =?us-ascii?q?CgIO4Jtiwo7hUFAj1sBAQ?= X-IronPort-AV: E=Sophos;i="5.63,444,1557180000"; d="asc'?scan'208";a="312200368" X-MGA-submission: =?us-ascii?q?MDF6snDsnJ0ITFi8Ew+f6CGWIOxVguyKKIuYt3?= =?us-ascii?q?UVV1O7kZokty+kNw4mliXWHRyXprZfigCPZfvLV+YxQCMSeuAZiL46w6?= =?us-ascii?q?ucxbWHQrKWwmsDPzfVD9X4JVaOE1istZrHWFKNaBUzuizwhHXwfBtLF6?= =?us-ascii?q?YtKPNG2GfBy2gWdqT2AYeCmg=3D=3D?= Received: from rhea.htu.tuwien.ac.at ([128.130.95.24]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 02 Jul 2019 18:51:29 +0200 To: Helmut Brandl , caml users References: <7A09D0AA-1285-45CF-9687-B2BF8B1CA021@gmx.net> From: Martin Riener Openpgp: preference=signencrypt Autocrypt: addr=martin@derivation.org; prefer-encrypt=mutual; keydata= mQINBFoJlNMBEACoXelGW/3gP+VKlFu56ef8f/iisP/ZRUhh+X3TxcddOwmaNStOL/h0VBhG O1VOkF91CVO3SJDEPX5v+Trs8h0J3HSmXbElyr3zbS//Nql3TKhkhl5apf8fHIytqRI8FXDm 8Oqe5XnI5VininT6bEN25fJLLLf8Kvn/cFSxiKdG8CXUpaceOdF2UE9hJJR4iZpevuvjMQec wUQuWCW3GjaQrVROVUWA4HXxygw36i066lBcwTdm0TYxoyO3z55hkRhE2/roIS33SfUYIvTK iJZI42FqDOoekwH3BV0U/PO5XP06wE3vmrOrS5CKtoWp560Wp+4Jqcw2b/4ctVGn4vmbn0oR ZKq+Z+JUkgtKsszLwm/O1RlJk8eOhq1p1vSbHjdmKBM572PXp2s7K3pgjvPV8QlCQNHBy+b/ D1xaIvAbPdGCI3KXBCfBM/wTNUOL/TubDkzTmadERmRDcC895svsDkq6wgo+Bk6Th7fcbkLd QO02n0/cAZKvr2QxLlmkJ73FpXQy16tHERH7NHhVNqBTxWHy3Ts5QMg9Iw5COwwYX1Rjf7MB srTMp9qMYjR7LGfembkdHyBdhKd6aVkFf5W7PJOLMqsIQNxAsavCQg3HAkzd5vhHJnOb5hws LFQ+EoQiLTIcNYCYQQi0icF0qG7RzbriYPhwHjTgYitsdHHpYwARAQABtB5NYXJ0aW4gPG1h cnRpbkBkZXJpdmF0aW9uLm9yZz6JAj4EEwECACgFAloJlNMCGwMFCQPCZwAGCwkIBwMCBhUI AgkKCwQWAgMBAh4BAheAAAoJEANtXuKG4W++2xQQAJeXZfS1ELrH6JHE2/qqAaFzseJ66hec TaxVAqSwn8BySgreBHLXD0ZXGAggdUYieYI++mUFC/BJ2w7LU9WritzGiFXqbBMx4Vm6Ccwf axA2mSltl3fr5v9rcZ7TxQcheezZrD4zf0lg+bieGYUm3W3BEZQfyZbTLDsssf/KejAt//Y2 w/ZCHE1ooRmnZZVOmHIpZrIWs0zuOMdNJb+4XmiP4NBoWyR/fk19DwfFMXNDSGiG40Y43uz+ 905MitVFsugjvb+KKgvmqJageuHs66zkKrmwe9W1EPLUTdpnQ1xPNJoku+hV+CzgbgX9nk+1 585FWevMX7RxGcHlHwF9utacfkb6EXdJXxzLbjvTLSO8hLHUebFB04Z06yA0/kYnyZNFj1fJ sF3YPV1xHRkaJALEVPHjgSUB+D7IutkUDSBwV58KuJJPBTBXsaSrzZ4vogq1CT8p35zF3yL+ EVMUvobjuTWCCcfDY1tfx8TbBaj+s0MUNWHSI0MsjY8UveDiuoykACAMC4ZryFCxrcmyvsCc q3vWNfA7aoS9hUsZFFrVEoS4Rk+gD5LviyE3uDKN64tK/6ePw0HuAHpYY9wB6PF4zSvzMpWu UdpegYRbem68KRm6fq1zrctqJTqv568a7E5KikcBamL33SYmswC1vLywsUXWWXIjoBsK7Rf+ TUR/uQINBFoJlNMBEACvG1D35bAZANSMgztj2STec8lzIKXu99g2v3cyYlGwNzwO9Moed0gq 2gkkSHyPZDmC1OLLaA5RLQaPWe8RBi5WrXQQuvUSYapT3P3Tia6VPX34dfCyFzzPbMQm4CIs BVDRfOf7/Ux3PsEGOFE3Ufg0aLNfHufbohtvMJaKIWasYX67rWLaoD4xzHYbepYa90yYBeRJ L6Nax2pF4jGRMXX9rUw8rxqCWZWfk6D46nrIhpm5C2fdujXT7y1PkY8p+wM6S791hSFX1+1V 6T7ij96c042CpuLvedQ+mIZtcP2cKPR3L53HL8i3/7n8FHbHsiODy2v0KkMuWlv7VQhmRdPd eyySFFtlSqi2UR21ldLGf1xt63Ve//Qzp0ZK42FUcI3m/4H3jPRQ9fhDMUsSDEBpZvLxWSKM 9YITN86hBnGEOPBiAzIOujpDlKrHa6g+2ScHEjjar/4MeuQIGrCVPDJrXJBxLp8RYu8Wlleh kuryPtiC4gZN4eQGM9YKAYa4Au6XVmPdol/78eRukdwQP1Zo7/vl7NkJVLkxrjRs1aULrw43 Qz85aJE2hiMW0ZkbD4sj1zeya8itw+3gYqms3xyScuT9EYtbww2txTowqGGuqd6rCN0r+mJg 7BffODcXSszZ2k56TDSv8H0sb3GocGqSbNGEQUQvvLQ9l1YoOnkYaQARAQABiQIlBBgBAgAP BQJaCZTTAhsMBQkDwmcAAAoJEANtXuKG4W++WVcP/145Z5RehGacyTwiSElGrojDJAK1tML4 Hz/jxRqvEmG0aHIrTI6dqLVKWHnCIQbDZPo6iXTRZuUGBw98hFQCeVAylWgrwJt4xsM4Jv4M 16PwhL6Nl1IgIL0rp2AuUYs+/PqpteQAJSPPYWD0sLstiX+LsPcoQoviAJ3Guzjhos1ig9DV HGv8//6Zt83tSavAKktxe0ytHpFGJ/BYI0GoYEphJwtY+NDrqXdMq6sffNBvOPFiT+RWZxnp JXWpPIngZSfPL50LAyTtES1NoUqR+IqcnR9H5XwtvgABIQ557Q9RaBrr3p8j4qQNgTL2FWED mFnoRJAmDb9X9GoKq52BufhDI6Da1oFGyOauK5kY7xPwG9HJs1nf6oCX/v8p4s3ROftNOibg odrDvf+kkQU5IF1jUepKa9uM87lTOOfTF2hJJKbZkmOMh4R7DrXKrlY1J6cTyG+4ihpE51v5 a9Be6iq0UveYvl437yHy+pQNuX2L2gR4AHV4JvpYoZOz4H53YGYHpjuYGaxxu4L8djbPHC+1 TIY3W2oNzzXy0QROaSwDkPkQN6DHwGjElYg+AVqbRjZ30BElYM8dbwRojuocvRUoWie1lOcR 1rsdvvKLf491F11gnKnezFMYEEOlzcWQT3HxYzcEdg+YeePYyhyqIaxty79UVRMEoTqLZMmy Ay00 Message-ID: <3dc7d021-2ca7-be3d-ae5d-716b455389ba@derivation.org> Date: Tue, 2 Jul 2019 18:51:18 +0200 MIME-Version: 1.0 In-Reply-To: <7A09D0AA-1285-45CF-9687-B2BF8B1CA021@gmx.net> Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="SGx84WMwYE7XTdKpdQaaFsJEtXdBIY5NY" Subject: Re: [Caml-list] Gnu readline functionality in ocaml? Reply-To: Martin Riener X-Loop: caml-list@inria.fr X-Sequence: 17669 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 an OpenPGP/MIME signed message (RFC 4880 and 3156) --SGx84WMwYE7XTdKpdQaaFsJEtXdBIY5NY Content-Type: multipart/mixed; boundary="dWNF06USIRbWS1qOYjDgN2rcmVWBmkOwQ"; protected-headers="v1" From: Martin Riener To: Helmut Brandl , caml users Message-ID: <3dc7d021-2ca7-be3d-ae5d-716b455389ba@derivation.org> Subject: Re: [Caml-list] Gnu readline functionality in ocaml? References: <7A09D0AA-1285-45CF-9687-B2BF8B1CA021@gmx.net> In-Reply-To: <7A09D0AA-1285-45CF-9687-B2BF8B1CA021@gmx.net> --dWNF06USIRbWS1qOYjDgN2rcmVWBmkOwQ Content-Type: text/plain; charset=utf-8 Content-Language: de-AT Content-Transfer-Encoding: quoted-printable Hello Helmut, You are probably looking for utop ( https://opam.ocaml.org/packages/utop/= ) which also has autocompletion and other nice features. Alternatively, you= can use rlwrap ( https://linux.die.net/man/1/rlwrap ) to wrap any non-readlin= e program into readline. cheers, Martin On 7/2/19 6:48 PM, Helmut Brandl wrote: > Hello list, >=20 > 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? >=20 > Regards > Helmut >=20 --dWNF06USIRbWS1qOYjDgN2rcmVWBmkOwQ-- --SGx84WMwYE7XTdKpdQaaFsJEtXdBIY5NY Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE4M4+GpPuXxOlGys0A21e4obhb74FAl0bi4oACgkQA21e4obh b75W+w/+KXX2bH48YOLkDWYSDPjg26Ql8At0DJQN20NAkR2VzhWw0BXP1iBnHKMJ 5o9LsSpGFsr7JEa5w3daS8ngEVTMnKaH3NuDQUUSP6fDMTDOeWg2u5GHm3tfmXjM wf7DD3btAOaAc7zu3wLjrPLAyClBb/dn+99NtUe1th5qe1VZWYMg5pz2ScFgUE4d oT4xucifSz88bU8+eymXMNdbX73PW280HIoeD5Iph6D96rSUstSxjnULMQ8AvwcI mslUl0G9EbmieKn+JsKsGn0iudUYPKiaSde0QAEuf93yiKMrbFZkJJ3bTcDKEEnH WQ3YcxrGxtHKTjFcTgAdBxAydbQfaorxLZAUIjvnT4F3u5R5hmhtIAYaF6Bmh+Ns oZZgSX6tfnVgYnj8sEJN5I05AAIPXxVD1zpMyln5uaiv08EE/Ejew5criG47SiCf ovUqPR01uTm3C0IkHiR6UPYPL0q1my3wWLbSm+8hOZQDMS0YegGKkC6PwplLpYGS uAUpcG4Wy24fG57Zh8uvX7FA5225pqV2fbRVNwngitz8VW17cBFe82YysWHnj/XI Xy+lNm8qoVtgsb3Hsyn5TzMQhbdxXbdJQDpYEa6v1JchF6VP4a4GwCQdxVA7k0gi kjRtKThB2R5mrYSHlv6r+mMtGZnno/6kVeuzgN+vEhtJm+7Wsls= =psU/ -----END PGP SIGNATURE----- --SGx84WMwYE7XTdKpdQaaFsJEtXdBIY5NY--