From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <andrej.bauer@andrej.com>
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
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 5A448BBC1
	for <caml-list@yquem.inria.fr>; Thu, 10 Apr 2008 14:03:23 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AscFAFqe/Ue8AeZK/2dsb2JhbACBXaks
X-IronPort-AV: E=Sophos;i="4.25,635,1199660400"; 
   d="scan'208";a="11299384"
Received: from discorde.inria.fr ([192.93.2.38])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 10 Apr 2008 14:03:23 +0200
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m3AC3INi023772
	(version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK)
	for <caml-list@inria.fr>; Thu, 10 Apr 2008 14:03:22 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AscFAFqe/Ue8AeZK/2dsb2JhbACBXaks
X-IronPort-AV: E=Sophos;i="4.25,635,1199660400"; 
   d="scan'208";a="11299381"
Received: from kr-mfo.x-win.dfn.de (HELO elzach.mfo.de) ([188.1.230.74])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 10 Apr 2008 14:03:17 +0200
Received: from reichenbach.mfo.de ([193.174.3.22])
	by kr-mfo.x-win.dfn.de with esmtp (Exim 4.43)
	id 1JjvUq-0001Qa-Mb
	for caml-list@inria.fr; Thu, 10 Apr 2008 14:03:16 +0200
Received: from [193.174.3.28] (yach [193.174.3.28])
	by reichenbach.mfo.de (Postfix) with ESMTP
	id 18A9E3CBE5; Thu, 10 Apr 2008 14:03:16 +0200 (MEST)
Message-ID: <47FE02A3.2030503@andrej.com>
Date: Thu, 10 Apr 2008 14:05:55 +0200
From: Andrej Bauer <Andrej.Bauer@andrej.com>
Reply-To: Andrej.Bauer@andrej.com
User-Agent: Thunderbird 1.5.0.14ubu (X11/20080306)
MIME-Version: 1.0
To: Jacques Le Normand <rathereasy@gmail.com>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] using functors in objects
References: <f74178430804091752t1966ca08n87a12cab9f064736@mail.gmail.com>
In-Reply-To: <f74178430804091752t1966ca08n87a12cab9f064736@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
X-Miltered: at discorde with ID 47FE0206.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; andrej:01 andrej:01 functors:01 recursive:01 sig:01 struct:01 val:01 sig:01 val:01 struct:01 rec:01 caml-list:01 inherit:01 modules:02 objects:02 

Perhaps something like this with recursive modules. I have a feeling it
can be simplified, though.

Andrej

--------------------
module A (X: sig type t end) =
struct
  class c =
  object
    val b = (None : X.t option)
  end
end

module rec D : sig
  class d : object val b : D.d option end
end =
struct
  class d =
  object
    inherit Y.c
  end
end

and Y :
sig
  class c : object val b : D.d option end
end =
  A(struct type t = D.d end)

class d = D.d

----------------