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 XAA20845; Tue, 16 Jul 2002 23:30:32 +0200 (MET DST)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id XAA20910 for <caml-list@pauillac.inria.fr>; Tue, 16 Jul 2002 23:30:31 +0200 (MET DST)
Received: from laurelin.dementia.org ([208.167.88.73])
	by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g6GLUUT23011
	for <caml-list@inria.fr>; Tue, 16 Jul 2002 23:30:30 +0200 (MET DST)
Received: by laurelin.dementia.org (Postfix, from userid 1001)
	id 67C4770C0; Tue, 16 Jul 2002 17:37:15 -0400 (EDT)
To: Alessandro Baretta <alex@baretta.com>
Cc: Ocaml <caml-list@inria.fr>
Subject: Re: [Caml-list] Warning: explanation needed
References: <3D348F60.3060106@baretta.com>
From: John Prevost <j.prevost@cs.cmu.edu>
Date: 16 Jul 2002 17:37:15 -0400 (90.087 UMT)
In-Reply-To: <3D348F60.3060106@baretta.com>
Message-ID: <86ele3tkvo.fsf@laurelin.dementia.org>
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

>>>>> "ab" == Alessandro Baretta <alex@baretta.com> writes:

    ab> I'm not sure I get what this means. The following is my
    ab> guess. Please, correct me if I'm wrong.

    ab> In a class with multiple inheritance, the method mentioned in
    ab> the warning is defined by multiple parent classes. Hence, the
    ab> last class from which set_sub_node_context is inherited
    ab> overrides the previously inherited definition.

Actually, it's more general.  If there's a pre-existing definition of
the method at all, a warning is given.  So:

class a =
  object
    method m = 1
  end

class b =
  object
    method m = 2
  end

class c =
  object
    method m = 3
    inherit b
  end

class d =
  object
    inherit a
    inherit b
  end

class e =
  object
    inherit b
    method m = 3
  end

You get the warning for classes c and d, but not for class e.

John.

-------------------
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