]> On Wed, 2003-10-15 at 12:20, Jacques Garrigue wrote: > From: Nick Name <nick.name@inwind.it> > By the way, if you are ready to break abstraction (which in your case > doesn't seem essential), you can build a t with the right polymorphic > type: > # let t = T(fun s -> let T a = time >>> time in a s);; > val t : ('a, float) Var.Time.t = ... > Not very clean, but you can replace time >>> time by any polymorphic > expression. The cleanliness can be had with camlp4 surely? ------------------- 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