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 EAA04812; Mon, 22 Dec 2003 04:12:53 +0100 (MET) 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 EAA04350 for ; Mon, 22 Dec 2003 04:12:51 +0100 (MET) Received: from guestc.h0020780e8acd.ne.client2.attbi.com (h0020780e8acd.ne.client2.attbi.com [24.61.94.47]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id hBM3CjX20000 for ; Mon, 22 Dec 2003 04:12:46 +0100 (MET) Received: from guestc.h0020780e8acd.ne.client2.attbi.com (localhost.localdomain [127.0.0.1]) by guestc.h0020780e8acd.ne.client2.attbi.com (8.12.8/8.12.8) with ESMTP id hBM0URme027066 for ; Sun, 21 Dec 2003 19:30:27 -0500 Received: from localhost (bhurt@localhost) by guestc.h0020780e8acd.ne.client2.attbi.com (8.12.8/8.12.8/Submit) with ESMTP id hBM0UR4t027062 for ; Sun, 21 Dec 2003 19:30:27 -0500 X-Authentication-Warning: guestc.h0020780e8acd.ne.client2.attbi.com: bhurt owned process doing -bs Date: Sun, 21 Dec 2003 19:30:27 -0500 (EST) From: Brian Hurt X-X-Sender: bhurt@guestc.h0020780e8acd.ne.client2.attbi.com To: Ocaml Mailing List Subject: [Caml-list] Multiparameter functors? Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Loop: caml-list@inria.fr X-Spam: no; 0.00; functors:01 functors:01 orderedtype:01 orderedtype:01 struct:01 stupid:01 module:03 redirect:95 obvious:06 brian:06 brian:06 subtle:06 source:07 type:07 type:07 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Is it possible to do multi-parameter functors? What I want to be able to so is something like: module Make(Key: Map.OrderedType, Pri: Map.OrderedType) = struct type key = Key.t;; type pri = Pri.t;; ... end;; Am I being stupid and just missing something obvious, or is there some subtle reason why I shouldn't be doing this? -- "Usenet is like a herd of performing elephants with diarrhea -- massive, difficult to redirect, awe-inspiring, entertaining, and a source of mind-boggling amounts of excrement when you least expect it." - Gene Spafford Brian ------------------- 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