From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA19405 for caml-redistribution@pauillac.inria.fr; Fri, 17 Mar 2000 19:44:56 +0100 (MET) Resent-Message-Id: <200003171844.TAA19405@pauillac.inria.fr> 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 SAA20559 for ; Fri, 17 Mar 2000 18:11:07 +0100 (MET) Received: from julie.univ-savoie.fr (univax.univ-savoie.fr [193.48.120.32]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id SAA20412 for ; Fri, 17 Mar 2000 18:11:02 +0100 (MET) Received: from univ-savoie.fr (lama-d134.univ-savoie.fr [193.48.123.134]) by julie.univ-savoie.fr (8.9.3/jtpda-5.3.3) with ESMTP id SAA32966 for ; Fri, 17 Mar 2000 18:11:00 +0100 (CET) Sender: raffalli@univ-savoie.fr Message-ID: <38D26725.CCE5BFE2@univ-savoie.fr> Date: Fri, 17 Mar 2000 18:11:01 +0100 From: Christophe Raffalli Organization: Laboratoire de =?iso-8859-1?Q?Math=E9matiques?=, =?iso-8859-1?Q?Universit=E9?= de Savoie X-Mailer: Mozilla 4.7 [en] (X11; I; Linux 2.2.13-7mdk i686) X-Accept-Language: fr, en MIME-Version: 1.0 To: caml-list@inria.fr Subject: Re: More about modules Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Resent-From: weis@pauillac.inria.fr Resent-Date: Fri, 17 Mar 2000 19:44:56 +0100 Resent-To: caml-redistribution@pauillac.inria.fr Xavier Leroy wrote: > - Inclusion of structures into larger structures (in the style of > "open" in SML): I agree this is desirable, and we already have the > syntax for it ("struct ... include S ... end"). It requires a little > more implementation work than exception renaming, so I'll probably do > it for 3.01. > Opinions? > > - Xavier Leroy I really agree: the include for structure you proposed is needed. But include Module with .... Is also really needed. Here is an example (not reallistic): module type Set = sig type elt end  module type Morphisme = sig module E : Set module F : Set type elt = E.elt -> F.elt end module type Endomorphisme sig include Morphisme with module E = F end I know you can allways find another way of writing. But this is much clearer with the "include .. with" ! -- Christophe Raffalli Université de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tél: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI