From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA05198; Wed, 30 Jan 2002 17:52:10 +0100 (MET)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA02631 for <caml-list@pauillac.inria.fr>; Wed, 30 Jan 2002 17:52:09 +0100 (MET)
Received: from iona.labri.fr (iona.labri.fr [147.210.8.143])
	by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g0UGq8r02624
	for <caml-list@inria.fr>; Wed, 30 Jan 2002 17:52:08 +0100 (MET)
Received: from localhost (localhost.localdomain [127.0.0.1])
	by iona.labri.fr (Postfix) with ESMTP id EC4E37DA0
	for <caml-list@inria.fr>; Wed, 30 Jan 2002 17:52:06 +0100 (CET)
Received: from serveur3.labri.fr (serveur3.labri.fr [147.210.8.180])
	by iona.labri.fr (Postfix) with ESMTP id 2BEE47D96
	for <caml-list@inria.fr>; Wed, 30 Jan 2002 17:52:06 +0100 (CET)
Received: (from vanicat@localhost)
	by serveur3.labri.fr (8.11.6/8.11.6) id g0UGq5o17469;
	Wed, 30 Jan 2002 17:52:05 +0100
X-Authentication-Warning: serveur3.labri.fr: vanicat set sender to vanicat@labri.u-bordeaux.fr using -f
To: caml-list@inria.fr
Subject: Re: [Caml-list] Mixed class / type
References: <005901c1a9a7$b1b97b00$8f00a8c0@warp>
From: Remi VANICAT <vanicat@labri.u-bordeaux.fr>
In-Reply-To: <005901c1a9a7$b1b97b00$8f00a8c0@warp>
Date: 30 Jan 2002 17:52:05 +0100
Message-ID: <ya3zo2vn5my.dlv@serveur3.labri.fr>
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.0.104
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
X-Virus-Scanned: by AMaViS perl-11
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

"Warp" <warplayer@free.fr> writes:

> Hello,
> 
> I got this problem :
> - two classes called wmenu and wmenuitem, are mutaly recursive
> - one wmenuitem can be constructed either with a wmenu or with a wmenuitem
> 
> so I need a type like this :
> 
> type menu =
>     Mainmenu of wmenu
>     | Menuitem of wmenuitem
> 
> So I tryied :
> 
> type menu = .....
> and
>     class wmenuitem : menu -> object ... end
> and
>     class wmenu : object ... end
> 
> But it doesn't work.
> Any clue is welcomed.

This problem already have been answer. :

type ('a, 'b) menu_t =
     Mainmenu of 'a 
   | Menuitem of 'b

class wmenuitem : (wmenuitem, wmenu) menu_t -> object .... end
and wmenu : object ... end

type menu = (wmenuitem, wmenu) menu_t

-- 
Rémi Vanicat
vanicat@labri.u-bordeaux.fr
http://dept-info.labri.u-bordeaux.fr/~vanicat
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr