From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id LAA22960 for caml-redistribution; Thu, 13 Jun 1996 11:46:20 +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 JAA27434 for ; Thu, 13 Jun 1996 09:10:04 +0200 Received: from louis-blanc.univ-evry.fr (louis-blanc.univ-evry.fr [192.93.214.6]) by concorde.inria.fr (8.7.1/8.7.1) with ESMTP id JAA08322 for ; Thu, 13 Jun 1996 09:10:02 +0200 (MET DST) Received: from miller.lami.univ-evry.fr (miller.LaMI.univ-evry.fr [192.93.214.38]) by louis-blanc.univ-evry.fr with ESMTP (8.6.12/96.04.09/louis-blanc); id JAA21971; Thu, 13 Jun 1996 09:10:02 +0200 Received: from miller (localhost.univ-evry.fr [127.0.0.1]) by miller.lami.univ-evry.fr with SMTP (8.6.9/95.01.26); id JAA29053; Thu, 13 Jun 1996 09:10:01 +0200 Sender: weis Message-ID: <31BFBEC6.167EB0E7@lami.univ-evry.fr> Date: Thu, 13 Jun 1996 09:09:58 +0200 From: Franck Delaplace Organization: LAMI Universite d'Evry X-Mailer: Mozilla 2.02 (X11; I; SunOS 4.1.3_U1 sun4m) MIME-Version: 1.0 To: caml-list@pauillac.inria.fr Subject: module aggregation Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit 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 ? for instance I want to have a function which gives a list of cartesian product of l1 l2 let cartesian_map f l1 l2 = List.flatten (List.map (fun(a)-> List.map (f a) l2) l1);; val cartesian_map : ('a -> 'b -> 'c) -> 'a list -> 'b list -> 'c list = and I would like to call it List.cartesian_map I have also the same problem for module defined by Functor I want to add some specific functions once the module is defined. Thank you --- Franck Delaplace. Tel: +33 (1) 6947 7463 email : delapla@lami.univ-evry.fr LAboratoire de Mathematiques et d'Informatique (LAMI) Equipe Parallelisme (http://perdiguier.univ-evry.fr:8004/parall/) Universite d'Evry Val d'Essonne Cours Monseigneur Romero 91025 EVRY CEDEX (FRANCE)