From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA15884; Sat, 1 May 2004 12:12:03 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA15864 for ; Sat, 1 May 2004 12:12:02 +0200 (MET DST) Received: from postfix4-2.free.fr (postfix4-2.free.fr [213.228.0.176]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i41AC2SH012988 for ; Sat, 1 May 2004 12:12:02 +0200 Received: from warp (chateaudeau-4-82-225-176-25.fbx.proxad.net [82.225.176.25]) by postfix4-2.free.fr (Postfix) with SMTP id 5ABE598BAA; Sat, 1 May 2004 12:12:01 +0200 (CEST) Message-ID: <004d01c42f64$731704e0$19b0e152@warp> From: "Nicolas Cannasse" To: "Richard Jones" Cc: "caml-list" References: <20040430175429.GB11118@online.fr> <4092A448.6080909@1969.ws> <1083376750.2581.183.camel@pelican.wigram> <1083388377.2581.383.camel@pelican.wigram> <20040501100745.GB11419@redhat.com> Subject: Re: [Caml-list] List.rev Date: Sat, 1 May 2004 12:09:54 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2800.1106 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106 X-Miltered: at concorde with ID 409377F2.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; cannasse:01 warplayer:01 caml-list:01 extlib:01 cannasse:01 nicolas:01 nicolas:01 complexity:02 transform:02 functions:05 operations:08 rev:13 there:16 sources:16 ways:19 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > Are there automatic ways to transform non-tail-recursive functions > into tail-recursive ones? > > Rich. You can have a look at ExtLib sources. We provide tail-recursive implementations for each List operations (with same "little o" complexity). Regards, Nicolas Cannasse ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners