]> > On Mon, Dec 22, 2003 at 04:04:15PM -0700, Matt Gushee wrote: > > > Is there anything obvious about functors? ;-) > > > > I've found the following syntax to work: > > > > module Make = > > functor (Key:Map.OrderedType) -> functor (Pri:Map.OrderedType) -> > > struct > > .... > > end;; > > This is very similar to currying of functions, except that Ocaml doesn't > give you nice convenient syntax for defining curried functors. The > application is similar to currying, though. > > module Mine = Make (Keytype) (Pritype) And, I'm not even right. Module definitions can also be curried: module Make (Key : Map.OrderedType) (Pri : Map.OrderedType) = struct ... end Dave ------------------- 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