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 SAA08429; Mon, 3 Nov 2003 18:41:47 +0100 (MET)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA08493 for <caml-list@pauillac.inria.fr>; Mon, 3 Nov 2003 18:41:46 +0100 (MET)
Received: from shiva.jussieu.fr (shiva.jussieu.fr [134.157.0.129])
	by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id hA3Hfk129692
	for <caml-list@inria.fr>; Mon, 3 Nov 2003 18:41:46 +0100 (MET)
Received: from mailhost.edcsm.jussieu.fr (bastet.edcsm.jussieu.fr [134.157.158.1])
          by shiva.jussieu.fr (8.12.10/jtpda-5.4) with ESMTP id hA3Hfj4B064562
          for <caml-list@inria.fr>; Mon, 3 Nov 2003 18:41:45 +0100 (CET)
Received: from garonne.edcsm.jussieu.fr (garonne.edcsm.jussieu.fr [134.157.158.99])
	by mailhost.edcsm.jussieu.fr (Postfix) with ESMTP id 94E4BDA
	for <caml-list@inria.fr>; Mon,  3 Nov 2003 18:41:24 +0100 (CET)
Received: by garonne.edcsm.jussieu.fr (Postfix, from userid 3544)
	id 0299613CBAB; Mon,  3 Nov 2003 18:41:44 +0100 (CET)
To: caml-list@inria.fr
Subject: Re: [Caml-list] Mutually recursive classes
Message-Id: <20031103174144.0299613CBAB@garonne.edcsm.jussieu.fr>
Date: Mon,  3 Nov 2003 18:41:44 +0100 (CET)
From: pous@edcsm.jussieu.fr (pous damien)
X-Antivirus: scanned by sophie at shiva.jussieu.fr
X-Loop: caml-list@inria.fr
X-Spam: no; 0.00; caml-list:01 damien:01 didier:01 appsem:01 retrieve:99 vice-versa:01 damien:01 ocaml:01 remy:01 interfaces:01 readable:01 nov:01 hierarchy:02 explicit:03 classes:03 
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

On 3 Nov 2003, Didier Remy wrote:

> It looks similar to the subject/observer pattern.  
> Check Section 5.3 of the OCaml manual as well as my 
> APPSEM course notes
  
It only looks similar...
  
I am working with class _types_ :
This hierarchy is included in a large project, and I need
_readable_ interfaces (as well as _writeable_ :-)

I can't write
"constraint 'a = <an enormous explicit object type as 'b that has
already been written half a dozen times as 'a..>"

Furthermore, my classes _are_ mutually recursive : when I retrieve a   
parent from its child, I want a "full-featured parent" (and vice-versa)
 
damien    
 

-------------------
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