From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <flux-caml@inside.org>
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 DB55A7FACD
	for <caml-list@sympa.inria.fr>; Mon, 29 Sep 2014 11:16:00 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  flux-caml@inside.org) identity=pra; client-ip=130.230.4.42;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="flux-caml@inside.org";
  x-sender="flux-caml@inside.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  flux-caml@inside.org) identity=mailfrom;
  client-ip=130.230.4.42;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="flux-caml@inside.org";
  x-sender="flux-caml@inside.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail.cs.tut.fi) identity=helo;
  client-ip=130.230.4.42;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="flux-caml@inside.org";
  x-sender="postmaster@mail.cs.tut.fi";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ak0DAPMhKVSC5gQql2dsb2JhbABgFoNLjjuoMQaTd4dSAoEhAREBAQEBAQgWB0CEBAEBBDpPCyElDwEEGIkCv2mGEodQgVoQAgFWFoQ1BYtJilaHCYFil2FpgkoBAQE
X-IPAS-Result: Ak0DAPMhKVSC5gQql2dsb2JhbABgFoNLjjuoMQaTd4dSAoEhAREBAQEBAQgWB0CEBAEBBDpPCyElDwEEGIkCv2mGEodQgVoQAgFWFoQ1BYtJilaHCYFil2FpgkoBAQE
X-IronPort-AV: E=Sophos;i="5.04,619,1406584800"; 
   d="scan'208";a="98376088"
Received: from mail.cs.tut.fi ([130.230.4.42])
  by mail2-smtp-roc.national.inria.fr with SMTP; 29 Sep 2014 11:16:00 +0200
Received: from amavis1.cs.tut.fi (amavis1.cs.tut.fi [130.230.4.69])
	by mail.cs.tut.fi (Postfix) with ESMTP id 1E5EB62F
	for <caml-list@yquem.inria.fr>; Mon, 29 Sep 2014 12:15:59 +0300 (EEST)
Received: from mail.cs.tut.fi ([130.230.4.42])
 by amavis1.cs.tut.fi (amavis1.cs.tut.fi [130.230.4.69]) (amavisd-maia, port 10024)
 with ESMTP id 00455-19 for <caml-list@yquem.inria.fr>;
 Mon, 29 Sep 2014 12:15:58 +0300 (EEST)
Received: from modeemi.modeemi.fi (modeemi.modeemi.fi [130.230.72.134])
	by mail.cs.tut.fi (Postfix) with SMTP id 3682562E
	for <caml-list@yquem.inria.fr>; Mon, 29 Sep 2014 12:15:58 +0300 (EEST)
Received: from coffee.modeemi.fi (coffee.modeemi.fi [130.230.72.140])
	by modeemi.modeemi.fi (Postfix) with ESMTP id 2AD803AFAF
	for <caml-list@yquem.inria.fr>; Mon, 29 Sep 2014 12:15:58 +0300 (EEST)
Received: by coffee.modeemi.fi (Postfix, from userid 17990)
	id 1E1762D60BF; Mon, 29 Sep 2014 12:15:58 +0300 (EEST)
From: Erkki Seppala <flux-caml@inside.org>
To: caml-list@yquem.inria.fr
References: <CAEQMQonxc3uAHb=6GfYRk4nYTOcx2nHs+ObHZ4P2Rz8mPbdJow@mail.gmail.com>
	<87bnpzpm0l.fsf@gmail.com>
	<CACLX4jTndM+1rLuJi11ba_=LQs0u6EAYf7r7VoPxN7_VsgawSA@mail.gmail.com>
	<CAEQMQomNfjtV6yny-gaNH6i=7rFtFUzrcDFw5OHmYuUZKCJjhg@mail.gmail.com>
	<CAN=ouMQODYEGrwT1hmLkAxzvA+CWMknUEgLks-myHonDDavqKw@mail.gmail.com>
	<5428F0DF.9090400@ens-lyon.org> <m49fvfadc1v.fsf@coffee.modeemi.fi>
Date: Mon, 29 Sep 2014 12:15:58 +0300
In-Reply-To: <m49fvfadc1v.fsf@coffee.modeemi.fi> (Erkki Seppala's message of
	"Mon, 29 Sep 2014 12:13:32 +0300")
Message-ID: <m494mvqdbxt.fsf@coffee.modeemi.fi>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Virus-Scanned: Maia Mailguard 1.0.2
Subject: Re: [Caml-list] Why List.map does not be implemented
 tail-recursively?

Oop, of course the forward_order function doesn't work with these types
properly, but I prematurely sent the email thanks to having the same key
binding for compilation and sending mail :).

-- 
  _____________________________________________________________________
     / __// /__ ____  __               http://www.modeemi.fi/~flux/\   \
    / /_ / // // /\ \/ /                                            \  /
   /_/  /_/ \___/ /_/\_\@modeemi.fi                                  \/