From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.0 required=5.0 tests=HTML_00_10,HTML_MESSAGE, SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 4C60ABC6B for ; Tue, 18 Sep 2007 08:26:20 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAM4M70bAXQImn2dsb2JhbACCODiLIAICBwQGBwgY X-IronPort-AV: E=Sophos;i="4.20,267,1186351200"; d="scan'208";a="947980" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 18 Sep 2007 08:27:24 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l8I6Qlwv018747 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 18 Sep 2007 08:26:48 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAADsM70ZA6ba+kWdsb2JhbACCODiLIAICBwQGDQIW X-IronPort-AV: E=Sophos;i="4.20,267,1186351200"; d="scan'208";a="16345595" Received: from nf-out-0910.google.com ([64.233.182.190]) by mail4-smtp-sop.national.inria.fr with ESMTP; 18 Sep 2007 08:27:23 +0200 Received: by nf-out-0910.google.com with SMTP id g13so1489294nfb for ; Mon, 17 Sep 2007 23:27:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:mime-version:content-type; bh=L5EUciloC0JpcGvI4wx5dzZzfEUwngxIEn/f4csdI80=; b=bZtmLmmqOz1xOsCWd4rEBpAIUe0ywRiUxETVVta364/69ak4elIIHrSPrpbm8eB6NCHIfPT/5GbvEABLJGSQ2SaS9FYSmPKwq9mMo1mmRg+wUje38zlXnM6PIQ8/taWUBdX2qFTRJ/2141jLehUlf3OsakxE9UJzvOWTkKpL0EA= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:mime-version:content-type; b=W6L6uEPbH3NXwNOVcfpekjBi1fozHOhmAYOiR4nsffN4ED/wrVG5ewVEBrwo4jQJIXSPViij1uFSCpCHOmMPs8r7mPsFKZdGu5A4zzNTV/C0QIoyLyJmGtXExj2NimHKoYIyjhHJB4ojlsozxswtovmBnVPHox1/pF6MxYsete4= Received: by 10.78.129.16 with SMTP id b16mr3271618hud.1190096842032; Mon, 17 Sep 2007 23:27:22 -0700 (PDT) Received: by 10.78.192.11 with HTTP; Mon, 17 Sep 2007 23:27:21 -0700 (PDT) Message-ID: <74cabd9e0709172327g42d34407wc7027db6d8c6fba6@mail.gmail.com> Date: Mon, 17 Sep 2007 23:27:22 -0700 From: "Arthur Chan" To: caml-list@inria.fr Subject: Mutually recursive functions in different modules MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_18592_11713662.1190096842020" X-Miltered: at discorde with ID 46EF6FA7.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; recursive:01 recursive:01 functors:01 functors:01 functions:01 functions:01 modules:02 modules:02 module:03 module:03 chan:04 chan:04 mutually:06 mutually:06 written:07 X-Attachments: cset="UTF-8" cset="UTF-8" ------=_Part_18592_11713662.1190096842020 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline Hey all, Is it possible to have mutually recursive functions in separate modules? For example, is it possible for function x in module A to call function y in module B and vice versa? The reason why I'm asking is because I've written a good bit of my code with functors, and now I need to make some of the code mutually recursive, and thus, the mutually recursive functions have to be in separate modules. Best Regards Arthur Chan ------=_Part_18592_11713662.1190096842020 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline Hey all,

Is it possible to have mutually recursive functions in separate modules?

For example, is it possible for function x in module A to call function y in module B and vice versa?

The reason why I'm asking is because I've written a good bit of my code with functors, and now I need to make some of the code mutually recursive, and thus, the mutually recursive functions have to be in separate modules.

Best Regards
Arthur Chan ------=_Part_18592_11713662.1190096842020--