<?xml version="1.0" encoding="ISO-8859-1"?>

<!DOCTYPE message PUBLIC
  "-//MLarc//DTD MLarc output files//EN"
  "../../mlarc.dtd"[
  <!ATTLIST message
    listname CDATA #REQUIRED
    title CDATA #REQUIRED
  >
]>

  <?xml-stylesheet href="../../mlarc.xsl" type="text/xsl"?>


<message 
  url="2002/07/cdb48831ef99b8f2f30bb2c41cfffc21"
  from="Alessandro Baretta &lt;alex@b...&gt;"
  author="Alessandro Baretta"
  date="2002-07-16T10:03:53"
  subject="Re: [Caml-list] Recovering masked methods"
  prev="2002/07/a4e7111559c35cc347dce02da761c6d4"
  next="2002/07/09f0c8681907e8992348940da99cad75"
  prev-in-thread="2002/07/4bbe8c44332ba5a3150f66f671c75eaa"
  next-in-thread="2002/07/09f0c8681907e8992348940da99cad75"
  prev-thread="2002/07/f588263f2499215c76c4696e61086612"
  next-thread="2002/07/ca2a3e0a12658384bdc94c4ad62eb59b"
  root="../../"
  period="month"
  listname="caml-list"
  title="Archives of the Caml mailing list">

<thread subject="[Caml-list] Recovering masked methods">
<msg 
  url="2002/07/2fe55408b32aa0c8bbfe694c2fc4d83a"
  from="Alessandro Baretta &lt;alex@b...&gt;"
  author="Alessandro Baretta"
  date="2002-07-15T23:06:46"
  subject="[Caml-list] Recovering masked methods">
<msg 
  url="2002/07/dc0f73cee705120e47f611b302d2229c"
  from="Jacques Garrigue &lt;garrigue@k...&gt;"
  author="Jacques Garrigue"
  date="2002-07-16T01:15:48"
  subject="Re: [Caml-list] Recovering masked methods">
<msg 
  url="2002/07/17972e65a4fa6e1be37544c22613850e"
  from="Alessandro Baretta &lt;alex@b...&gt;"
  author="Alessandro Baretta"
  date="2002-07-16T09:21:43"
  subject="Re: [Caml-list] Recovering masked methods">
<msg 
  url="2002/07/4bbe8c44332ba5a3150f66f671c75eaa"
  from="Laurent Vibert &lt;lvibert@i...&gt;"
  author="Laurent Vibert"
  date="2002-07-16T09:48:33"
  subject="Re: [Caml-list] Recovering masked methods">
<msg 
  url="2002/07/cdb48831ef99b8f2f30bb2c41cfffc21"
  from="Alessandro Baretta &lt;alex@b...&gt;"
  author="Alessandro Baretta"
  date="2002-07-16T10:03:53"
  subject="Re: [Caml-list] Recovering masked methods">
</msg>
<msg 
  url="2002/07/09f0c8681907e8992348940da99cad75"
  from="Johan Baltié &lt;johan.baltie@w...&gt;"
  author="Johan Baltié"
  date="2002-07-16T10:08:20"
  subject="Re: [Caml-list] Recovering masked methods">
</msg>
</msg>
<msg 
  url="2002/07/a4e7111559c35cc347dce02da761c6d4"
  from="Johan Baltié &lt;johan.baltie@w...&gt;"
  author="Johan Baltié"
  date="2002-07-16T09:59:43"
  subject="Re: [Caml-list] Recovering masked methods">
<msg 
  url="2002/07/d8d8048f18fde67a30d15fff45a35cd0"
  from="Alessandro Baretta &lt;alex@b...&gt;"
  author="Alessandro Baretta"
  date="2002-07-16T11:01:06"
  subject="Re: [Caml-list] Recovering masked methods (with CamlP4?)">
<msg 
  url="2002/11/016e4090efb8e82cad8d8d8247cc1f70"
  from="Eray Ozkural &lt;erayo@c...&gt;"
  author="Eray Ozkural"
  date="2002-11-12T19:47:58"
  subject="Re: [Caml-list] Recovering masked methods (with CamlP4?)">
</msg>
<msg 
  url="2002/07/b59eca1b7e5590da95546ae14fabfec6"
  from="Johan Baltié &lt;johan.baltie@w...&gt;"
  author="Johan Baltié"
  date="2002-07-16T11:32:44"
  subject="Re: [Caml-list] Recovering masked methods (with CamlP4?)">
<msg 
  url="2002/07/079c1f77e6e6ffdeb3b3e90ab408aff5"
  from="Alessandro Baretta &lt;alex@b...&gt;"
  author="Alessandro Baretta"
  date="2002-07-16T12:45:21"
  subject="Re: [Caml-list] Recovering masked methods (with CamlP4?)">
</msg>
</msg>
<msg 
  url="2002/07/3de0fe9da97cf529cecbfd91303a3bd0"
  from="Daniel de Rauglaudre &lt;daniel.de_rauglaudre@i...&gt;"
  author="Daniel de Rauglaudre"
  date="2002-07-16T12:26:56"
  subject="Re: [Caml-list] Recovering masked methods (with CamlP4?)">
<msg 
  url="2002/07/3010b130a14bbcce52ad13d282b7bc8e"
  from="Alessandro Baretta &lt;alex@b...&gt;"
  author="Alessandro Baretta"
  date="2002-07-16T12:47:43"
  subject="Re: [Caml-list] Recovering masked methods (with CamlP4?)">
<msg 
  url="2002/07/b81da613b70144f0000c305c48fda6a9"
  from="Daniel de Rauglaudre &lt;daniel.de_rauglaudre@i...&gt;"
  author="Daniel de Rauglaudre"
  date="2002-07-17T09:26:40"
  subject="Re: [Caml-list] Recovering masked methods (with CamlP4?)">
</msg>
</msg>
</msg>
<msg 
  url="2002/07/e7cc3630ab3efd751fb7ab23ee8cd246"
  from="John Prevost &lt;j.prevost@c...&gt;"
  author="John Prevost"
  date="2002-07-16T13:25:28"
  subject="Re: [Caml-list] Recovering masked methods (with CamlP4?)">
<msg 
  url="2002/07/64938492e1b530128ae42eb730af62b2"
  from="John Prevost &lt;j.prevost@c...&gt;"
  author="John Prevost"
  date="2002-07-16T13:28:39"
  subject="Re: [Caml-list] Recovering masked methods (with CamlP4?)">
</msg>
<msg 
  url="2002/07/22bfb44ade56966015ca1e7b98b02394"
  from="Alessandro Baretta &lt;alex@b...&gt;"
  author="Alessandro Baretta"
  date="2002-07-16T13:59:43"
  subject="Re: [Caml-list] Recovering masked methods (with CamlP4?)">
<msg 
  url="2002/07/4b34e2322a3787668e7cc44878eaae57"
  from="Johan Baltié &lt;johan.baltie@w...&gt;"
  author="Johan Baltié"
  date="2002-07-16T14:15:50"
  subject="Re: [Caml-list] Recovering masked methods (with CamlP4?)">
<msg 
  url="2002/07/429a6ddd7c1da1d3259de9ec4b1a2c13"
  from="Alessandro Baretta &lt;alex@b...&gt;"
  author="Alessandro Baretta"
  date="2002-07-16T14:22:35"
  subject="Re: [Caml-list] Recovering masked methods (with CamlP4?)">
</msg>
</msg>
</msg>
</msg>
</msg>
</msg>
<msg 
  url="2002/07/bdc2038f2220ce701049a9e8d6a5abc9"
  from="John Prevost &lt;j.prevost@c...&gt;"
  author="John Prevost"
  date="2002-07-16T10:38:38"
  subject="Re: [Caml-list] Recovering masked methods">
</msg>
</msg>
</msg>
</msg>
</thread>

<contents>


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

Definitely not. By using multiple inheritance as you 
suggest, class c inherits from class a *twice*, thereby 
having double copies of all instance variables declared in 
a. This is bad. Consider how difficult it is to manage a 
multiple-path inheritance in C++, and how that has rendered 
necessary the use of "virtual" memember objects.

Alex

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

</contents>

</message>

