From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA12989 for caml-redistribution; Wed, 15 Dec 1999 22:16:01 +0100 (MET) 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 PAA04757 for ; Wed, 15 Dec 1999 15:10:21 +0100 (MET) Received: from p-biset.issy.cnet.fr (p-biset.issy.cnet.fr [139.100.0.33]) by nez-perce.inria.fr (8.8.7/8.8.7) with SMTP id PAA29259 for ; Wed, 15 Dec 1999 15:10:20 +0100 (MET) Received: from l-mhs1.lannion.cnet.fr ([161.104.1.59]) by p-biset.issy.cnet.fr with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2448.0) id YNTRLSJ5; Wed, 15 Dec 1999 15:15:04 +0100 Received: from lsun169.cnet (lsun169.lannion.cnet.fr [161.104.4.4]) by l-mhs1.lannion.cnet.fr with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2448.0) id Y56DX9NA; Wed, 15 Dec 1999 15:15:04 +0100 Received: from lsun565.lannion.cnet.fr (lsun565 [161.104.10.182]) by lsun169.cnet (8.8.8+Sun/8.8.8) with SMTP id PAA15479; Wed, 15 Dec 1999 15:10:19 +0100 (MET) Received: from lsun565.cnet by lsun565.lannion.cnet.fr (SMI-8.6/SMI-SVR4) id PAA08626; Wed, 15 Dec 1999 15:10:16 +0100 Date: Wed, 15 Dec 1999 15:10:16 +0100 Message-Id: <199912151410.PAA08626@lsun565.lannion.cnet.fr> From: Jean-Francois Monin MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit To: caml-list@inria.fr Subject: Re: OCaml and tail recursion In-Reply-To: <19991214222015.46916@pauillac.inria.fr> References: <199912131727.MAA20344@labrador.eecs.harvard.edu> <19991214222015.46916@pauillac.inria.fr> X-Mailer: VM 6.37 under Emacs 20.2.1 Sender: weis Since it is not always immediate to see if a function is tail-recursive, a kind of compile time "assert" could be useful to check this. E.g. some memory leaks could be prevented in this way. Jean-Francois