Browse thread
[Caml-list] Multiparameter functors?
-
Brian Hurt
- Julien Signoles
- Matt Gushee
- Julien Demouth
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2003-12-22 (10:21) |
From: | Julien Signoles <Julien.Signoles@l...> |
Subject: | Re: [Caml-list] Multiparameter functors? |
> 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;; module Make(Key: Map.OrderedType)(Pri: Map.OrderedType) = struct type key = Key.t type pri = Pri.t (* ... *) end Julien Signoles -- mailto:Julien.Signoles@lri.fr ; http://www.lri.fr/~signoles "In theory, practice and theory are the same, but in practice they are different" (Larry McVoy) ------------------- 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