From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p2HB3CXR009693 for ; Thu, 17 Mar 2011 12:03:12 +0100 X-IronPort-AV: E=Sophos;i="4.63,198,1299452400"; d="scan'208";a="78569550" Received: from moloch.lri.fr (HELO is010237.localnet) ([129.175.4.90]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 17 Mar 2011 12:03:06 +0100 From: Paolo Herms To: caml-list@inria.fr Date: Thu, 17 Mar 2011 12:02:58 +0100 User-Agent: KMail/1.13.6 (Linux/2.6.37-ARCH; KDE/4.6.1; x86_64; ; ) References: <20110317104719.GH22969@localhost> <350217430.1223639.1300359057593.JavaMail.root@zmbs3.inria.fr> In-Reply-To: <350217430.1223639.1300359057593.JavaMail.root@zmbs3.inria.fr> MIME-Version: 1.0 Content-Type: Text/Plain; charset="iso-8859-6" Content-Transfer-Encoding: 7bit Message-Id: <201103171202.59214.paolo.herms@inria.fr> Subject: Re: [Caml-list] Re: Define class and sum type in one time Yes, but you can still do this: type 'maclasse truc = Machin of ('maclasse->int) | Recur of 'maclasse truc class maclasse = object(self) val mutable valeur = (None : maclasse truc option) method getValeur = valeur end -- Paolo Herms PhD Student - CEA-LIST Software Safety Lab. / INRIA ProVal Project Paris, France On Thursday 17 March 2011 11:50:57 Pierre-Alexandre Voye wrote: > So, this is impossible ? : > > class maclasse = object(self) > val mutable valeur = (None : truc option) > method getValeur = valeur > end > and > truc = Machin of (maclasse->int) | Recur of truc;;