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 OAA10179; Wed, 22 May 2002 14:44:44 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA09998 for ; Wed, 22 May 2002 14:44:42 +0200 (MET DST) Received: from web11208.mail.yahoo.com (web11208.mail.yahoo.com [216.136.131.190]) by nez-perce.inria.fr (8.11.1/8.11.1) with SMTP id g4MCigH14599 for ; Wed, 22 May 2002 14:44:43 +0200 (MET DST) Message-ID: <20020522124440.87021.qmail@web11208.mail.yahoo.com> Received: from [62.64.217.46] by web11208.mail.yahoo.com via HTTP; Wed, 22 May 2002 05:44:40 PDT Date: Wed, 22 May 2002 05:44:40 -0700 (PDT) From: Noel Welsh Subject: Re: [Caml-list] Tail recursion detection To: John Max Skaller , caml-list@inria.fr In-Reply-To: <3CEA63D1.5020607@ozemail.com.au> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I think you're confusing tail calls with closure conversion. Closure conversion determines which closures can stack allocated, done away with, or must be heap allocated. There are simple ways and complex way to do this. Some references: Orbit, Kranz et al 'Control Flow Analysis: A compilation paradigm for functional langauge' Manuel Serrano 'Flow-directed Lighweight Closure Conversion' by the guy who does the Stalin scheme compiler 'Lightweight Closure Conversion' Paul Steckler and Mitchell Wand. Google or CiteSeer with find the above and a zillion more. HTH, Noel --- John Max Skaller wrote: > Perhaps I'm confused, but .. > The problem isn't replacing calls with jumps, > but identifying which closure to reuse. In general, > that is impossible without dataflow analysis. __________________________________________________ Do You Yahoo!? LAUNCH - Your Yahoo! Music Experience http://launch.yahoo.com ------------------- 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