type and class definition : recursion

pbrisset@eis.enac.dgac.fr
Tue, 14 May 1996 14:11:55 +0200

From: pbrisset@eis.enac.dgac.fr
Message-Id: <199605141211.OAA06278@concorde.inria.fr>
Date: Tue, 14 May 1996 14:11:55 +0200
To: caml-list@margaux.inria.fr
Subject: type and class definition : recursion

Hello,

I would like to define a class and a type with a mutual recursion between
them. Something like

type t = A
| B of c
and class c (x:t) =
val mutable value = x
end

Is it possible with O'caml ?

--------------
Pascal Brisset
ENAC, 7 avenue Edouard Belin, BP 4005, F-31055 Toulouse Cedex, France
Tel: +33 62 17 40 53, E-mail: pbrisset@eis.enac.dgac.fr, Fax: +33 62 17 41 43