<?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/16bf0e05b121ad70d4407203ffcc2060"
  from="Alessandro Baretta &lt;alex@b...&gt;"
  author="Alessandro Baretta"
  date="2002-07-18T10:35:08"
  subject="[Caml-list] Protected methods"
  prev="2002/07/68df4f91100df67d69cef45ef632d456"
  next="2002/07/88d493b339b48ff3f330f1bdca3584fd"
  next-in-thread="2002/07/88d493b339b48ff3f330f1bdca3584fd"
  prev-thread="2002/07/647457434ab87dabf18062d5a922a07a"
  next-thread="2002/07/444e872df95c217576d95f578cc60764"
  root="../../"
  period="month"
  listname="caml-list"
  title="Archives of the Caml mailing list">

<thread subject="[Caml-list] Protected methods">
<msg 
  url="2002/07/16bf0e05b121ad70d4407203ffcc2060"
  from="Alessandro Baretta &lt;alex@b...&gt;"
  author="Alessandro Baretta"
  date="2002-07-18T10:35:08"
  subject="[Caml-list] Protected methods">
<msg 
  url="2002/07/88d493b339b48ff3f330f1bdca3584fd"
  from="Gerd Stolpmann &lt;info@g...&gt;"
  author="Gerd Stolpmann"
  date="2002-07-18T11:01:34"
  subject="Re: [Caml-list] Protected methods">
<msg 
  url="2002/07/0bc4a82400e651216916e4f977a464bb"
  from="Alessandro Baretta &lt;alex@b...&gt;"
  author="Alessandro Baretta"
  date="2002-07-18T11:37:17"
  subject="Re: [Caml-list] Protected methods">
<msg 
  url="2002/07/97468669ddc77bef0c774de5284d4edc"
  from="Jacques Garrigue &lt;garrigue@k...&gt;"
  author="Jacques Garrigue"
  date="2002-07-19T08:50:13"
  subject="Re: [Caml-list] Protected methods">
<msg 
  url="2002/07/95b53058ae34958c36f4248bad4a51d8"
  from="Alessandro Baretta &lt;alex@b...&gt;"
  author="Alessandro Baretta"
  date="2002-07-19T09:53:56"
  subject="Re: [Caml-list] Protected methods">
<msg 
  url="2002/07/81fc8ddbc96bf9fd110437441913de3f"
  from="Jacques Garrigue &lt;garrigue@k...&gt;"
  author="Jacques Garrigue"
  date="2002-07-20T00:46:55"
  subject="Re: [Caml-list] Protected methods">
<msg 
  url="2002/07/ad6a52f05ed89cbcbc5e8d1d6b548581"
  from="Alessandro Baretta &lt;alex@b...&gt;"
  author="Alessandro Baretta"
  date="2002-07-20T07:34:16"
  subject="Re: [Caml-list] Protected methods">
</msg>
</msg>
<msg 
  url="2002/07/3b8654b28f0205244174f3bebd7b9f1d"
  from="Jacques Garrigue &lt;garrigue@k...&gt;"
  author="Jacques Garrigue"
  date="2002-07-20T01:31:26"
  subject="Re: [Caml-list] Protected methods">
<msg 
  url="2002/07/a8d866581e1a8f5a36577e0e1cde4f43"
  from="Alessandro Baretta &lt;alex@b...&gt;"
  author="Alessandro Baretta"
  date="2002-07-20T07:41:03"
  subject="Re: [Caml-list] Protected methods">
</msg>
</msg>
</msg>
</msg>
</msg>
</msg>
<msg 
  url="2002/07/82e9eedb518a1b06dbd968154ac21e67"
  from="Dmitry Bely &lt;dbely@m...&gt;"
  author="Dmitry Bely"
  date="2002-07-20T22:55:22"
  subject="Re: [Caml-list] Protected methods">
<msg 
  url="2002/07/43384b3c4e0ffaa4c68217d2e6be8043"
  from="Brian Smith &lt;brian-l-smith@u...&gt;"
  author="Brian Smith"
  date="2002-07-20T23:08:12"
  subject="Re: [Caml-list] Protected methods">
<msg 
  url="2002/07/c52712390dd950b3b1df7a8c40fd0ec8"
  from="Jacques Garrigue &lt;garrigue@k...&gt;"
  author="Jacques Garrigue"
  date="2002-07-22T03:37:42"
  subject="OCaml&apos;s OO design Re: [Caml-list] Protected methods">
<msg 
  url="2002/07/331705def71aab66cd579f8d5b34e217"
  from="John Prevost &lt;j.prevost@c...&gt;"
  author="John Prevost"
  date="2002-07-22T04:13:24"
  subject="Re: OCaml&apos;s OO design Re: [Caml-list] Protected methods">
</msg>
</msg>
</msg>
<msg 
  url="2002/07/4d88ea7bc8989476801d171755a1653d"
  from="Alessandro Baretta &lt;alex@b...&gt;"
  author="Alessandro Baretta"
  date="2002-07-20T23:53:19"
  subject="Re: [Caml-list] Protected methods">
<msg 
  url="2002/07/ceef67ffac4fa576044134564c761207"
  from="Dmitry Bely &lt;dbely@m...&gt;"
  author="Dmitry Bely"
  date="2002-07-21T07:55:23"
  subject="Re: [Caml-list] Protected methods">
<msg 
  url="2002/07/b6696076b1bd316d89f212c2d6849e48"
  from="Alessandro Baretta &lt;alex@b...&gt;"
  author="Alessandro Baretta"
  date="2002-07-21T13:07:07"
  subject="Re: [Caml-list] Protected methods">
</msg>
</msg>
</msg>
</msg>
</msg>
</thread>

<contents>
I'm trying to get the semantics of protected methods of C++. 
I have a class with a method that is not meaningful for the 
outside world, but different instances of this class should 
be able to invoke this method on one another.

I need something like the following pseudocode:

class a =
object
   method protected m = ...
   method m2 (obj:a) = a # m
end

I understand this can be obtained by creating a container 
module for class a and restricting the type of a through the 
module signature. I read the manual but was unable to figure 
out the syntax to do this. Would anyone be so kind as to 
lend a hand?

Thank you very much.

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>

