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 39DD37EEF8 for ; Mon, 10 Aug 2015 11:24:56 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.223.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.223.181 as permitted sender) identity=mailfrom; client-ip=209.85.223.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@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-io0-f181.google.com) identity=helo; client-ip=209.85.223.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-io0-f181.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BbAQCgbMhVlLXfVdFdg29pBoMevBmFfQKBJwdMAQEBAQEBEgEBAQEHCwsJHzCEJAEBAwESER0BGx0BAwELBgUEAQY3AgIhAQERAQUBHAYTCBqHdgEDCgiqMIEuPjGLQIFsgnmKeAoZJw1XhFUBAQEBAQUBAQEBAQEBFQEBBA6LQ4JPgjYEB4JpgUMFlQuFAoV1gWyBSZEBg02CGhIjgRcXhA48M4JMAQEB X-IPAS-Result: A0BbAQCgbMhVlLXfVdFdg29pBoMevBmFfQKBJwdMAQEBAQEBEgEBAQEHCwsJHzCEJAEBAwESER0BGx0BAwELBgUEAQY3AgIhAQERAQUBHAYTCBqHdgEDCgiqMIEuPjGLQIFsgnmKeAoZJw1XhFUBAQEBAQUBAQEBAQEBFQEBBA6LQ4JPgjYEB4JpgUMFlQuFAoV1gWyBSZEBg02CGhIjgRcXhA48M4JMAQEB X-IronPort-AV: E=Sophos;i="5.15,644,1432591200"; d="scan'208";a="173140265" Received: from mail-io0-f181.google.com ([209.85.223.181]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 10 Aug 2015 11:24:55 +0200 Received: by iodd187 with SMTP id d187so163511189iod.2 for ; Mon, 10 Aug 2015 02:24:54 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=VBty35zjoVpbnZiJxSc4Hq5eU4NQSUZtSs+96fF0L50=; b=hgdO5edkZzcDpP4InflCMzAm7BrNLDUnWp+qNfcefoolmHyYcRYUbth5Emkq+HYZdT pJbVjlPDy6qk0XKOh1Nnkda9HZHWoa0IkSjUEFsQkmoDUAQpukksOHZWvOBFbvJ6K/br dP7xfhzUtLazyrsUncn5sVSrudQAtOI5UouyoIgasV6HbChL4ddT6Yl5PM5TZE6VSlQV AOXzwdWZ5zE56gxlZL6jIbBk94Da/1/ltapxuAbGWI5SeOdfXZpvipkwaiYEgMV4cAS2 GWbDRQT2Is3aHAr2+UgPHTSKvIZN2mnlgr1Ytr4pNrnYN2YT8vrzsSGPSIv6lInTBUg8 E4Kw== X-Received: by 10.107.128.28 with SMTP id b28mr20332117iod.84.1439198694532; Mon, 10 Aug 2015 02:24:54 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.68.132 with HTTP; Mon, 10 Aug 2015 02:24:15 -0700 (PDT) In-Reply-To: References: From: Gabriel Scherer Date: Mon, 10 Aug 2015 11:24:15 +0200 Message-ID: To: Dhaivat Pandya Cc: caml users Content-Type: multipart/alternative; boundary=001a113f9a62f2ecf8051cf18e6b Subject: Re: [Caml-list] Readline Support for REPL --001a113f9a62f2ecf8051cf18e6b Content-Type: text/plain; charset=UTF-8 Note that utop already provides these features and much more: https://github.com/diml/utop I'm not sure improving the toplevel is a good investment of your efforts, given that there exists such a nice alternative, and that the switching costs are basically zero for toplevels. On Mon, Aug 10, 2015 at 1:37 AM, Dhaivat Pandya wrote: > 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 > --001a113f9a62f2ecf8051cf18e6b Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Note that utop already provides these features and mu= ch more:
=C2=A0 https://github.= com/diml/utop

I'm not sure improving the toplevel= is a good investment of your efforts, given that there exists such a nice = alternative, and that the switching costs are basically zero for toplevels.=

O= n Mon, Aug 10, 2015 at 1:37 AM, Dhaivat Pandya <dhaivatpandya@gmail.= com> wrote:
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 imp= lement readline support, we may later on build on it with tab-completion, e= tc.

If it is needed, I would be glad to implement support.
=
-
Dhaivat

--001a113f9a62f2ecf8051cf18e6b--