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 SAA05329; Thu, 10 Oct 2002 18:12:41 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA05330 for caml-list@pauillac.inria.fr; Thu, 10 Oct 2002 18:12:40 +0200 (MET DST) 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 SAA04803 for ; Thu, 10 Oct 2002 18:01:12 +0200 (MET DST) Received: from mel-rto6.wanadoo.fr (smtp-out-6.wanadoo.fr [193.252.19.25]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g9AG1B527454 for ; Thu, 10 Oct 2002 18:01:11 +0200 (MET DST) Received: from mel-rta10.wanadoo.fr (193.252.19.193) by mel-rto6.wanadoo.fr (6.5.007) id 3DA24D4D001F28E4 for caml-list@inria.fr; Thu, 10 Oct 2002 18:01:11 +0200 Received: from ADijon-106-1-9-54.abo.wanadoo.fr (81.48.193.54) by mel-rta10.wanadoo.fr (6.5.007) id 3DA24C0A001FDF78 for caml-list@inria.fr; Thu, 10 Oct 2002 18:01:11 +0200 Received: from 192.168.2.36 (ident=mail) by poulain.metalscan.fr with esmtp (MasqMail 0.1.16) id 17zfgO-0Zo-00 for caml-list@inria.fr; Thu, 10 Oct 2002 17:57:04 +0200 Received: from rhinoceros.mts ([192.168.1.4]) by drakar.mts with esmtp (Exim 3.35 #1 (Debian)) id 17zfUc-0008JQ-00 for ; Thu, 10 Oct 2002 17:44:54 +0200 Received: from matt by rhinoceros.mts with local (Exim 3.35 #1 (Debian)) id 17zfXG-0003H9-00 for ; Thu, 10 Oct 2002 17:47:38 +0200 Date: Thu, 10 Oct 2002 17:47:38 +0200 From: Metalscan To: caml-list@inria.fr Subject: [Caml-list] self and mutually recursive functions ? Message-ID: <20021010154738.GA12586@rhinoceros.mts> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.4i Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hello all of you ! I'm wondering wether it is possible or not to have to functions defined wich are both mutually recursive and simply recursive. In each of them, there would be a match with one branch returning itself and the other one returning the other function. Thanks for your help. Matthieu Dubuget ------------------- 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