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.
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:14 MET