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=0.4 required=5.0 tests=AWL,HTML_MESSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 99B77BBC1 for ; Sun, 23 Mar 2008 17:59:04 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aj4DADMp5kfRVYT3c2dsb2JhbACCQDOOJQEMAwQFCRSRI4NW X-IronPort-AV: E=Sophos;i="4.25,543,1199660400"; d="scan'208";a="24103619" Received: from an-out-0708.google.com ([209.85.132.247]) by mail4-smtp-sop.national.inria.fr with ESMTP; 23 Mar 2008 17:59:03 +0100 Received: by an-out-0708.google.com with SMTP id b15so590123ana.102 for ; Sun, 23 Mar 2008 09:59:02 -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:in-reply-to:mime-version:content-type:references; bh=c0uM5jlZ0EJJOz0b7R1K6pSbiHAvbA44rkMUEm6gPhw=; b=iSCQYPGSjnelYnuKR5CS2IvrVbCAgohDJuTb6Gfr0Ok5QO9RMeRCZY7kBc+G79hMoGRLiQiAT7POKq2+HUtu+y/pcw+PD7XYIUf7e8Lz3OwicKLVhNS30YDowZRZXGHQaBoM8uCUTvF4WWiXlNRclGb2V8xkzTDjCEJGQAsWdms= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=message-id:date:from:to:subject:in-reply-to:mime-version:content-type:references; b=IGQvVjMT6uxZyb3QzhPLQh0aOMBomeGud6ClLePWTzeqOJO4UI3l67zpcz+ScIgFcugAZkjC6VNaz09bo9K+QCifWLNu4sjbQR1lS81OXStzPdXCoKjt0x9Jw4eyW3phZ5GKUXbtF03e8JVHSadPVjmlXeUsSkIl2s/open8+YA= Received: by 10.100.34.16 with SMTP id h16mr15421944anh.80.1206291542703; Sun, 23 Mar 2008 09:59:02 -0700 (PDT) Received: by 10.100.215.4 with HTTP; Sun, 23 Mar 2008 09:59:02 -0700 (PDT) Message-ID: Date: Sun, 23 Mar 2008 12:59:02 -0400 From: "Jacques Le Normand" To: "caml-list caml-list" Subject: Re: [Caml-list] mutually recursive modules In-Reply-To: <6ebe51ce0803221420h272bec70ne92695651f6b2b38@mail.gmail.com> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_14458_1519892.1206291542691" References: <7B22B0CF-8E65-434A-9EF7-0C20EBE618E8@erratique.ch> <6ebe51ce0803221420h272bec70ne92695651f6b2b38@mail.gmail.com> X-Spam: no; 0.00; recursive:01 recursive:01 functors:01 beginner's:01 ocaml:01 bug:01 functors:01 beginner's:01 ocaml:01 bug:01 beginners:01 beginners:01 wrote:01 wrote:01 caml-list:01 ------=_Part_14458_1519892.1206291542691 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline how would I do that? On Sat, Mar 22, 2008 at 5:20 PM, ketti wrote: > > > is it possible to put mutually recursive modules in different files? > > > > No. > > Yes. > If you wrap them in functors. > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > ------=_Part_14458_1519892.1206291542691 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline how would I do that?

On Sat, Mar 22, 2008 at 5:20 PM, ketti <kattlachan@gmail.com> wrote:
>  > is it possible to put mutually recursive modules in different files?
>
>  No.

Yes.
If you wrap them in functors.

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

------=_Part_14458_1519892.1206291542691--