From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id TAA27062 for caml-redistribution; Fri, 14 Jun 1996 19:23:18 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id LAA17737 for ; Fri, 14 Jun 1996 11:27:04 +0200 Received: from cherub.hd.ibm.de (cherub.hd.ibm.de [192.101.197.10]) by concorde.inria.fr (8.7.1/8.7.1) with SMTP id LAA06249 for ; Fri, 14 Jun 1996 11:26:47 +0200 (MET DST) Received: from kaa.heidelbg.ibm.com by cherub.hd.ibm.de (AIX 3.2/UCB 5.64/4.03/chkV1.0) id AA55651; Fri, 14 Jun 1996 11:26:19 +0200 Received: from idse.heidelbg.ibm.com by kaa.heidelbg.ibm.com (AIX 3.2/UCB 5.64/4.03) id AA38604; Fri, 14 Jun 1996 11:25:46 +0200 Received: by idse.heidelbg.ibm.com (AIX 3.2/UCB 5.64/4.03) id AA42640; Fri, 14 Jun 1996 11:25:44 +0200 Message-Id: <9606140925.AA42640@idse.heidelbg.ibm.com> To: Franck Delaplace Cc: caml-list@pauillac.inria.fr Subject: Re: module aggregation In-Reply-To: (Your message of Thu, 13 Jun 96 09:09:58 O.) <31BFBEC6.167EB0E7@lami.univ-evry.fr> Date: Fri, 14 Jun 96 11:25:44 +0100 From: Wolfgang Lux Sender: weis Franck Delaplace writes: > > I want to aggregate two modules in one in order > to improve some standard modules or some module > define by functors . How can I do this in Ocaml ? > This answer is very simple: You cannot. The only way to achieve your goal would be to define a new module, copy all values of the module M1 you want to preserve and then add or change those values which you do not want to include from M1 or add to M1. > I have also the same problem for module defined by Functor > I want to add some specific functions once the module is defined. > There's no way to do that. You have to recompile the functor. (After all we are not in Smalltalk here.) Regards Wolfgang ---- Wolfgang Lux WZH Heidelberg, IBM Germany Internet: lux@heidelbg.ibm.com +49-6221-59-4546 VNET: LUX at HEIDELBG +49-6221-59-3500 (fax) EARN: LUX at DHDIBMIP