Re: Classe recursive et heritage

From: Sylvain BOULM'E (Sylvain.Boulme@lip6.fr)
Date: Tue Jun 23 1998 - 11:17:12 MET DST


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