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 RAA19589; Sat, 2 Nov 2002 17:06:22 +0100 (MET)
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 RAA21003 for <caml-list@pauillac.inria.fr>; Sat, 2 Nov 2002 17:06:21 +0100 (MET)
Received: from [192.168.2.15] (as5300.kharkov.ukrtel.net [195.5.1.188])
	by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id gA2G6I519899
	for <caml-list@inria.fr>; Sat, 2 Nov 2002 17:06:19 +0100 (MET)
Received: from yrashk by openeas.org with local (masqmail 0.2.6) id
 1880ql-48k-00; Sat, 02 Nov 2002 18:10:15 +0200
Date: Sat, 2 Nov 2002 18:10:15 +0200
From: "Yurii A. Rashkovskii" <yrashk@openeas.org>
To: Alessandro Baretta <alex@baretta.com>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] module namespace
Message-ID: <20021102161015.GB1082@rashko>
References: <20021102002456.GC8925@rashko> <3DC39206.5080504@baretta.com>
Mime-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="vOmOzSkFvhd7u8Ms"
Content-Disposition: inline
In-Reply-To: <3DC39206.5080504@baretta.com>
User-Agent: Mutt/1.4i
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk


--vOmOzSkFvhd7u8Ms
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

Hi Alessandro!

On Sat, 02 Nov 2002, Alessandro Baretta wrote:

> I think this is very interesting.
>=20
> Yurii A. Rashkovskii wrote:
> >I've developed small preprocessor module that provides kind of
> >namespace support for the Objective Caml.
> >
> >It defines following constructs:
> >
> >* module ModuleName in [Namespace|Namespace.Namespace]
>=20
> This method of defining namespaces would require some form=20
> of central authority allocating namespace "domains" to=20
> developers, so as to acertain that no two companies or users=20
> will use the same namespace for their projects. Since this=20
> would put unnecessary burden on INRIA and on the developers,=20
> I advocate, as I already mentioned, the XML solution: a=20
> namespace is an arbitrary string literal enclosed by double=20
> quotes. The convention would be for each company or=20
> developer to use URLs pertaining to domains officially=20
> belonging to them.
>=20

As you can understand, I've proposed using reverse domains
as namespaces - Org.Ocaml, and so on.
=20
> >it defines module type ModuleTypeName within namespace
> >
> >Example:
> > module type T =3D sig val test:unit end
>=20
> Typo?

Yes, of course :)

=2E.. T in Org.Openeas =3D ...

--=20
Regards,
Yurii.

--vOmOzSkFvhd7u8Ms
Content-Type: application/pgp-signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.0 (GNU/Linux)

iD8DBQE9w/jm/5/+hDnz2cERAiNDAKC5wlPxxwzmCtYRK/XU0GVxRmdu5QCfcVP4
BsHtQPEZFArMu+mhPffsvic=
=75te
-----END PGP SIGNATURE-----

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