From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA19570 for caml-redistribution; Tue, 23 Jun 1998 17:44:34 +0200 (MET DST)
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 LAA30077 for <caml-list@pauillac.inria.fr>; Tue, 23 Jun 1998 11:09:08 +0200 (MET DST)
Received: from isis.lip6.fr (isis.lip6.fr [132.227.60.2])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id LAA19049
	for <caml-list@inria.fr>; Tue, 23 Jun 1998 11:09:07 +0200 (MET DST)
Received: from spi.lip6.fr (monbazillac.lip6.fr [132.227.82.65])
          by isis.lip6.fr (8.8.8/jtpda-5.2.9.1+lip6) with ESMTP id LAA00614
          ; Tue, 23 Jun 1998 11:09:02 +0200 (MET DST)
Received: from ventoux.lip6.fr (root@ventoux.lip6.fr [132.227.83.34])
          by spi.lip6.fr (8.8.6/jtpda-5.2) with ESMTP id LAA04037
          ; Tue, 23 Jun 1998 11:09:02 +0200 (MET DST)
Received: from ventoux.lip6.fr (boulme@localhost [127.0.0.1])
          by ventoux.lip6.fr (8.8.8/jtpda-5.2) with ESMTP id LAA13694
          ; Tue, 23 Jun 1998 11:17:12 +0200
Message-Id: <199806230917.LAA13694@ventoux.lip6.fr>
X-Mailer: exmh version 1.6.9 05/05/96
To: Emmanuel Engel <Emmanuel.Engel@lri.fr>
cc: caml-list@inria.fr
Subject: Re: Classe recursive et heritage 
In-reply-to: Your message of "Sun, 21 Jun 1998 16:05:37 +0200."
             <358D1330.89DB13F9@lri.fr> 
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Tue, 23 Jun 1998 11:17:12 +0200
From: "Sylvain BOULM'E" <Sylvain.Boulme@lip6.fr>
Sender: weis

Bonjour,

En fait, ce que vous demandez, existe deja : on peut designer
le type de "self" par une variable de type

ie class ('a)tree (g:'b) (d:'b) as self :'b =

On n'a meme une syntaxe plus legere quand on n'a pas besoin
du "self":

class ('a)tree (g:'b) (d:'b) :'b =
  val fg = g
  val fd = d
end;;

class ('a)labelled_tree g d (i:int)=
  inherit ('a)tree g d
  val un_entier = i
end;;


Cordialement,

Sylvain.