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 288247EF27 for ; Mon, 10 Aug 2015 11:20:46 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of treinen@free.fr) identity=pra; client-ip=178.32.228.17; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="treinen@free.fr"; x-sender="treinen@free.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of treinen@free.fr) identity=mailfrom; client-ip=178.32.228.17; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="treinen@free.fr"; x-sender="treinen@free.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mo17.mail-out.ovh.net) identity=helo; client-ip=178.32.228.17; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="treinen@free.fr"; x-sender="postmaster@mo17.mail-out.ovh.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DRAQCgbMhVnBHkILJdyhICgS5MAQEBAQEBEgEBAQEBCAsJCSEuQQWDXgEBAwE6PwULCyETEg8FSYgrAQ0MAcdlCYV6AQEBAQYBAQEBHotRhQkHMYJngRQBBJULjGADmX2EJYM7AQEB X-IPAS-Result: A0DRAQCgbMhVnBHkILJdyhICgS5MAQEBAQEBEgEBAQEBCAsJCSEuQQWDXgEBAwE6PwULCyETEg8FSYgrAQ0MAcdlCYV6AQEBAQYBAQEBHotRhQkHMYJngRQBBJULjGADmX2EJYM7AQEB X-IronPort-AV: E=Sophos;i="5.15,644,1432591200"; d="scan'208";a="173139847" Received: from mo17.mail-out.ovh.net ([178.32.228.17]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 10 Aug 2015 11:20:45 +0200 Received: from seneca.home.org (10-85-190-109.dsl.ovh.fr [109.190.85.10]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by mo17.mail-out.ovh.net (Postfix) with ESMTPS id 034C6FF8851; Mon, 10 Aug 2015 11:20:44 +0200 (CEST) Received: from rt by seneca.home.org with local (Exim 4.86) (envelope-from ) id 1ZOjG8-0000Mn-EQ; Mon, 10 Aug 2015 11:20:44 +0200 Date: Mon, 10 Aug 2015 11:20:44 +0200 From: Ralf Treinen To: Dhaivat Pandya Cc: caml-list@inria.fr Message-ID: <20150810092044.GF1480@seneca.home.org> Mail-Followup-To: Dhaivat Pandya , caml-list@inria.fr References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.23 (2014-03-12) X-Ovh-Tracer-Id: 7848929728852360533 X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: -100 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeekfedrvdekucetufdoteggucfrrhhofhhilhgvmecuqfggjfenuceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddm Subject: Re: [Caml-list] Readline Support for REPL Hello, On Sun, Aug 09, 2015 at 06:37:47PM -0500, Dhaivat Pandya wrote: > 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. readline is licensed under the GPL (not LGPL), so that might have unwanted consequences for the license of ocaml ... -Ralf.