From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <nils.becker@bioquant.uni-heidelberg.de>
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 4EA2E7EEF8
	for <caml-list@sympa.inria.fr>; Tue, 11 Aug 2015 12:11:46 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  nils.becker@bioquant.uni-heidelberg.de) identity=pra;
  client-ip=129.206.210.211;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="nils.becker@bioquant.uni-heidelberg.de";
  x-sender="nils.becker@bioquant.uni-heidelberg.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  nils.becker@bioquant.uni-heidelberg.de) identity=mailfrom;
  client-ip=129.206.210.211;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="nils.becker@bioquant.uni-heidelberg.de";
  x-sender="nils.becker@bioquant.uni-heidelberg.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@relay2.uni-heidelberg.de) identity=helo;
  client-ip=129.206.210.211;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="nils.becker@bioquant.uni-heidelberg.de";
  x-sender="postmaster@relay2.uni-heidelberg.de";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0A+AQDTyclVnNPSzoFdh3zCLwEJAoE2TAEBAQEBARIBAQEBAQgLCQkhLoQkAQEDASNVBgsLGgIFFgsCAgkDAgECAUUTCAEBiCIIuGOWKAErgSKKL4UQF4JSgUMFlRCVTZEnhCaDOwEBAQ
X-IPAS-Result: A0A+AQDTyclVnNPSzoFdh3zCLwEJAoE2TAEBAQEBARIBAQEBAQgLCQkhLoQkAQEDASNVBgsLGgIFFgsCAgkDAgECAUUTCAEBiCIIuGOWKAErgSKKL4UQF4JSgUMFlRCVTZEnhCaDOwEBAQ
X-IronPort-AV: E=Sophos;i="5.15,652,1432591200"; 
   d="scan'208";a="173272972"
Received: from relay2.uni-heidelberg.de ([129.206.210.211])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 11 Aug 2015 12:11:44 +0200
Received: from ix.urz.uni-heidelberg.de (cyrus-portal01.urz.uni-heidelberg.de [129.206.100.176])
	by relay2.uni-heidelberg.de (8.13.8/8.13.8) with ESMTP id t7BABh5I010098
	for <caml-list@inria.fr>; Tue, 11 Aug 2015 12:11:43 +0200
Received: from extmail.urz.uni-heidelberg.de (extmail.urz.uni-heidelberg.de [129.206.100.140])
	by ix.urz.uni-heidelberg.de (Postfix) with ESMTPS id 22CAB21A9802
	for <caml-list@inria.fr>; Tue, 11 Aug 2015 12:11:43 +0200 (CEST)
Received: from bqdyn253_067.bioquant.uni-heidelberg.de (bqdyn253_067.bioquant.uni-heidelberg.de [129.206.253.147])
	(authenticated bits=0)
	by extmail.urz.uni-heidelberg.de (8.13.4/8.13.1) with ESMTP id t7BABjVN028476
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES128-SHA bits=128 verify=NO)
	for <caml-list@inria.fr>; Tue, 11 Aug 2015 12:11:46 +0200
To: caml-list@inria.fr
References: <20150811100018.8AA337EF27@sympa.inria.fr>
From: Nils Becker <nils.becker@bioquant.uni-heidelberg.de>
Message-ID: <55C9CB25.5060302@bioquant.uni-heidelberg.de>
Date: Tue, 11 Aug 2015 12:15:01 +0200
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:38.0)
 Gecko/20100101 Thunderbird/38.1.0
MIME-Version: 1.0
In-Reply-To: <20150811100018.8AA337EF27@sympa.inria.fr>
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
X-Validation-by: nils.becker@bioquant.uni-heidelberg.de
Subject: Re: [Caml-list] Readline Support for REPL


> Even though the utop projects provides readline features, wouldn't it
> make sense to have basic feature support on the default repl for the
> language?

> Once you try utop, you never go back. ;)

for me the one thing that is sorely lacking in utop is a vi editing mode
like readline has. once you've started to use the shell with nice text
editing support it feels like a handicap to not have it.