Re: Classe recursive et heritage

Sylvain BOULM'E (Sylvain.Boulme@lip6.fr)
Tue, 23 Jun 1998 11:17:12 +0200

Message-Id: <199806230917.LAA13694@ventoux.lip6.fr>
To: Emmanuel Engel <Emmanuel.Engel@lri.fr>
Subject: Re: Classe recursive et heritage
Date: Tue, 23 Jun 1998 11:17:12 +0200
From: "Sylvain BOULM'E" <Sylvain.Boulme@lip6.fr>

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.