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.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 77654BB84 for ; Sun, 5 Oct 2008 15:31:37 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnUAAOxe6EjRVcbqlGdsb2JhbACSGoEEPgEBAQEJCQwHEQOdWIVzAQKDaA X-IronPort-AV: E=Sophos;i="4.33,363,1220220000"; d="scan'208";a="17675918" Received: from rv-out-0506.google.com ([209.85.198.234]) by mail3-smtp-sop.national.inria.fr with ESMTP; 05 Oct 2008 15:31:36 +0200 Received: by rv-out-0506.google.com with SMTP id f6so2363176rvb.3 for ; Sun, 05 Oct 2008 06:31:35 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:sender :to:subject:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references :x-google-sender-auth; bh=Grwr36hPIsnkYHVIADD6CrlMrWL44rBWwuDTM5BrSIw=; b=kxnYO7sUZilGS3Pid8Bu61HI/6pATNBdF9fP3DV0Sl+Ud/vr+oKdt3atc8UlpEaHb4 AdQ6WhwFBWfQE8yUb+Jz8cNxQtAeP4t09Xz3tbiKTDWrTD8fvp5sBMiwytveh+0IwLhB 1ipoktfDVyNgwt7gccqBXxXHx6Q7+6VJCksrU= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:sender:to:subject:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references:x-google-sender-auth; b=iZCQygSJ9Tb3mU7f3i+uON54k6wERwQ4zF/SLA1ypVR5QwO1bCpnIKPVP9bgWQSFAg hB6cVRRW/CzD5WBi5mD5NHUKcW9rhflRSmEFvhDstghiJhkcU5q8nC2YjmeN+Vcal5by Zs8dP569HqB0smDr+b1ZtfOEuuz+q8T+Mhgt4= Received: by 10.141.201.1 with SMTP id d1mr2142984rvq.117.1223213495258; Sun, 05 Oct 2008 06:31:35 -0700 (PDT) Received: by 10.141.164.11 with HTTP; Sun, 5 Oct 2008 06:31:35 -0700 (PDT) Message-ID: <1af89fca0810050631r6f9303e5s9d1b973423fa6122@mail.gmail.com> Date: Sun, 5 Oct 2008 15:31:35 +0200 From: "=?UTF-8?Q?Yann_R=C3=A9gis-Gianas?=" Sender: yann.regisgianas@gmail.com To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] mutually dependent class and type In-Reply-To: <20080925222439.GA7968@galois> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: base64 Content-Disposition: inline References: <20080925222439.GA7968@galois> X-Google-Sender-Auth: 8c6a6df9e983db63 X-Spam: no; 0.00; regis-gianas:01 recursive:01 sig:01 struct:01 ens-lyon:01 recursive:01 ocaml:01 beginner's:01 ocaml:01 bug:01 26,:98 beginners:01 wrote:01 rec:01 caml-list:01 SGVsbG8gU2ViYXN0aWVuLAoKeW91IGNhbiB1c2UgcmVjdXJzaXZlIG1vZHVsZToKCm1vZHVsZSBy ZWMgSSA6IHNpZwogIGNsYXNzIGVsZW1lbnQgOiBJLmNvbnRlbnQgLT4gIG9iamVjdCBlbmQKICB0 eXBlIGNvbnRlbnQgPQogICAgfCBEYXRhIG9mIHN0cmluZwogICAgfCBFbGVtZW50cyBvZiBJLmVs ZW1lbnQgbGlzdAplbmQgPSBzdHJ1Y3QKICBjbGFzcyBlbGVtZW50IChjIDogSS5jb250ZW50KSA9 IG9iamVjdCBlbmQKICB0eXBlIGNvbnRlbnQgPQogICAgfCBEYXRhIG9mIHN0cmluZwogICAgfCBF bGVtZW50cyBvZiBJLmVsZW1lbnQgbGlzdAplbmQKCkJlc3QgcmVnYXJkcywKCi0tIApZYW5uIFLD qWdpcy1HaWFuYXMKCgoKT24gRnJpLCBTZXAgMjYsIDIwMDggYXQgMTI6MjQgQU0sIFPDqWJhc3Rp ZW4gSGluZGVyZXIKPFNlYmFzdGllbi5IaW5kZXJlckBlbnMtbHlvbi5vcmc+IHdyb3RlOgo+IERl YXIgbGlzdCwKPgo+IElzIHRoZXJlIGEgKGNsZWFuKSB3YXkgdG8gZGVmaW5lIHNpbXVsdGFuZW91 c2x5IGEgY2xhc3MgYW5kIGEgdHlwZSB0aGF0Cj4gYXJlIG11dHVhbGx5IHJlY3Vyc2l2ZSA/Cj4g U29tZXRoaW5nIGxpa2UgdGhpcyA6Cj4gY2xhc3MgZWxlbWVudCAoYyA6IGNvbnRlbnQpID0KPiBv YmplY3QKPiAgLi4uCj4gZW5kIGFuZCB0eXBlIGNvbnRlbnQgPQo+ICB8IERhdGEgb2Ygc3RyaW5n Cj4gIHwgRWxlbWVudHMgb2YgZWxlbWVudCBsaXN0OzsKPgo+IFRoaXMgaXMgb2YgY291cnNlIG5v dCBhIHZhbGlkIE9DYW1sIGRlZmluaXRpb24sIGJ1dCBpcyB0aGVyZSBhIHdheSB0bwo+IGV4cHJl c3MgaXQgPwo+Cj4gTWFueSB0aGFua3MgaW4gYWR2YW5jZSBmb3IgeW91ciBoZWxwLAo+IFPDqWJh c3RpZW4uCj4KPiBfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f Xwo+IENhbWwtbGlzdCBtYWlsaW5nIGxpc3QuIFN1YnNjcmlwdGlvbiBtYW5hZ2VtZW50Ogo+IGh0 dHA6Ly95cXVlbS5pbnJpYS5mci9jZ2ktYmluL21haWxtYW4vbGlzdGluZm8vY2FtbC1saXN0Cj4g QXJjaGl2ZXM6IGh0dHA6Ly9jYW1sLmlucmlhLmZyCj4gQmVnaW5uZXIncyBsaXN0OiBodHRwOi8v Z3JvdXBzLnlhaG9vLmNvbS9ncm91cC9vY2FtbF9iZWdpbm5lcnMKPiBCdWcgcmVwb3J0czogaHR0 cDovL2NhbWwuaW5yaWEuZnIvYmluL2NhbWwtYnVncwo+Cg==