From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id UAA07261 for caml-redistribution; Tue, 14 May 1996 20:32:50 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id OAA01316 for ; Tue, 14 May 1996 14:12:01 +0200 From: pbrisset@eis.enac.dgac.fr Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2]) by concorde.inria.fr (8.7.1/8.7.1) with ESMTP id OAA06282 for ; Tue, 14 May 1996 14:12:01 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by margaux.inria.fr (8.6.10/8.6.6) with ESMTP id OAA06577 for ; Tue, 14 May 1996 14:12:00 +0200 Received: from apollo12.eis.enac.dgac.fr (apollo12.eis.enac.dgac.fr [192.70.3.82]) by concorde.inria.fr (8.7.1/8.7.1) with SMTP id OAA06278 for ; Tue, 14 May 1996 14:11:59 +0200 (MET DST) Message-Id: <199605141211.OAA06278@concorde.inria.fr> Received: from apoge.eis.enac.dgac.fr by apollo12.eis.enac.dgac.fr with SMTP (1.37.109.4/17.1) id AA09105; Tue, 14 May 96 14:11:57 +0200 Received: by apoge.eis.enac.dgac.fr (1.38.193.4/16.2) id AA10168; Tue, 14 May 1996 14:11:55 +0200 Date: Tue, 14 May 1996 14:11:55 +0200 To: caml-list@margaux.inria.fr Subject: type and class definition : recursion Cc: pbrisset@eis.enac.dgac.fr Sender: weis 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