From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 CF9BA7EEF8 for ; Mon, 10 Aug 2015 01:38:27 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of dhaivatpandya@gmail.com) identity=pra; client-ip=209.85.214.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dhaivatpandya@gmail.com"; x-sender="dhaivatpandya@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of dhaivatpandya@gmail.com designates 209.85.214.176 as permitted sender) identity=mailfrom; client-ip=209.85.214.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dhaivatpandya@gmail.com"; x-sender="dhaivatpandya@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f176.google.com) identity=helo; client-ip=209.85.214.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dhaivatpandya@gmail.com"; x-sender="postmaster@mail-ob0-f176.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DgAQDr48dVlLDWVdFdhFgGgx6uVJRXB0wBAQEBAQESAQEBAQcLCwkfMIQaIhEdARseAxIIAQIFNwIkAREBBQE9God2AQMSp2mCBYEuPjGLQIFsgnmKZAoZJw1XhHsBBQ6LQ4UnglKBQwWNSYdCjGOYMRIjgRcXhCogM4JMAQEB X-IPAS-Result: A0DgAQDr48dVlLDWVdFdhFgGgx6uVJRXB0wBAQEBAQESAQEBAQcLCwkfMIQaIhEdARseAxIIAQIFNwIkAREBBQE9God2AQMSp2mCBYEuPjGLQIFsgnmKZAoZJw1XhHsBBQ6LQ4UnglKBQwWNSYdCjGOYMRIjgRcXhCogM4JMAQEB X-IronPort-AV: E=Sophos;i="5.15,641,1432591200"; d="scan'208";a="173104167" Received: from mail-ob0-f176.google.com ([209.85.214.176]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 10 Aug 2015 01:38:08 +0200 Received: by obbfr1 with SMTP id fr1so75620649obb.1 for ; Sun, 09 Aug 2015 16:38:07 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to:content-type; bh=wmIYuPgsCadivR8IKZlznziDQHjtIEXyeIfRZea8Fsw=; b=0955sQSY6JKhC6hx1eqeOsKbNKO686DQaixFztKFbfH72iH7V2s8V/YCGmtyX4oi0o scYVVMOkGsUxFsIjBH4iD5613u96t3D6hfP6iP+crGa40Zn9dgSVKvoXe6KKqDUY0aKk Rbhn7fnR8L3f/+c12vDIn9UYFdqHq463RvavQ8Dl5o6bcqydgZDUXRgsEOUgwftcy1+O 2l4b7prrgTK2H1zuLZvqMP14lzoLWoh5FpeSF0wJ7RypITOJbBE87lId/D2r8SOlF+kq decaehMgObi/coL4YrXapbmjXRU7gNO9dw5amnpVBh4iy9ULsQx8i19ThvdMSbLx+Bog BdCg== X-Received: by 10.182.210.165 with SMTP id mv5mr16908007obc.82.1439163487087; Sun, 09 Aug 2015 16:38:07 -0700 (PDT) MIME-Version: 1.0 Received: by 10.202.193.213 with HTTP; Sun, 9 Aug 2015 16:37:47 -0700 (PDT) From: Dhaivat Pandya Date: Sun, 9 Aug 2015 18:37:47 -0500 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=001a11c248946bf887051ce95c9d Subject: [Caml-list] Readline Support for REPL --001a11c248946bf887051ce95c9d Content-Type: text/plain; charset=UTF-8 Hi, I was wondering if readline support for the OCaml toplevel would be appreciated. I understand that running the repl with "rlwrap" solves a similar problem but if we were to implement readline support, we may later on build on it with tab-completion, etc. If it is needed, I would be glad to implement support. - Dhaivat --001a11c248946bf887051ce95c9d Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hi,

I was wondering if re= adline support for the OCaml toplevel would be appreciated. I understand th= at running the repl with "rlwrap" solves a similar problem but if= we were to implement readline support, we may later on build on it with ta= b-completion, etc.

If it is needed, I would be glad to impleme= nt support.

-
Dhaivat
--001a11c248946bf887051ce95c9d--