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 MAA08383; Tue, 16 Jul 2002 12:08:20 +0200 (MET DST)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
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 MAA08376 for <caml-list@pauillac.inria.fr>; Tue, 16 Jul 2002 12:08:19 +0200 (MET DST)
Received: from mel-rto4.wanadoo.fr (smtp-out-4.wanadoo.fr [193.252.19.23])
	by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g6GA8Ib02493
	for <caml-list@inria.fr>; Tue, 16 Jul 2002 12:08:18 +0200 (MET DST)
Received: from mel-rta10.wanadoo.fr (193.252.19.193) by mel-rto4.wanadoo.fr (6.5.007)
        id 3D18589F00B6D5E0; Tue, 16 Jul 2002 12:08:18 +0200
Received: from AlphaSystem.dnsalias.net (80.11.74.121) by mel-rta10.wanadoo.fr (6.5.007)
        id 3D2A7916003A8798; Tue, 16 Jul 2002 12:08:18 +0200
Received: from localhost ([127.0.0.1] helo=alphasystem.dnsalias.net)
	by AlphaSystem.dnsalias.net with esmtp (Exim 3.36 #1 (Debian))
	id 17UPFh-000BBR-00; Tue, 16 Jul 2002 12:08:17 +0200
From: "Johan Baltié" <johan.baltie@wanadoo.fr>
To: Laurent Vibert <lvibert@irisa.fr>, Alessandro Baretta <alex@baretta.com>
CC: Ocaml <caml-list@inria.fr>
Subject: Re: [Caml-list] Recovering masked methods
Date: Tue, 16 Jul 2002 11:08:17 +0100
Message-Id: <20020716100817.M78824@wanadoo.fr>
In-Reply-To: <Pine.LNX.4.21.0207161144410.27236-100000@paros.irisa.fr>
References: <3D33E74C.6050307@baretta.com> <Pine.LNX.4.21.0207161144410.27236-100000@paros.irisa.fr>
X-Mailer: Open WebMail 1.61 20020204
X-OriginatingIP: 192.6.2.192 (baltie_j)
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

> On Tue, 16 Jul 2002, Alessandro Baretta wrote:
> 
> > class a =
> > object
> >    ...
> > end
> > 
> > class b =
> > object
> >    inherit a
> >    ...
> > end
> > 
> > class c =
> > object
> >    inherit a as super_a through b as super_b { through 
> > <class> as <identifier> }*
> > ...
> > end
> > 
> 
> isn't multiple inheritance enougth for this ?
> 
> class c =
>   object
>     inherit a as super_a
>     inherit b as super_b
>     method m = super_a # m
>     (* other method are left unchanged *)
>   end

And if
 class c =
   object
     inherit a as super_a
     inherit b as super_b
   end

Which one "c#m" will call ?

By experiments c#m = b#m, but 
 class c =
   object
     inherit b as super_b
     inherit a as super_a
   end

means c#m = a#m....

I do not even know what kindda behavior a "virtual" will generate !
Is there any way to forbid such dangerous thing ?

Ciao

Jo
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners