]> It's probably feasible without copy & paste by building a functor on top of the defunctorized hashtable in Batteries. Or by just using the defunctorized hashtable of Batteries directly, although it's not as safe as the functorized version, due to the absence of existential types. Cheers, David On Tue, 2009-01-20 at 12:24 +0100, Daniel Bünzli wrote: > Le 20 janv. 09 à 11:59, Hugo Ferreira a écrit : > > > Is it possible to make H comply with Hashtbl.HashedType i.e: make > > J.Key = 'a H.node ? > > This issue is well known (e.g. see here [1]). Your are running into > limitations of the standard library. The only unsatisfying answer is > to copy the code from the standard library and add the parameter > yourself. > > Best, > > Daniel > > [1] http://groups.google.com/group/fa.caml/browse_thread/thread/f2acb593da91553c?hl=fr&ie=UTF-8&q=type+var+in+functor+fa.caml > > ____________________________________________ugs > -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Latest News of French Research: System being liquidated. Researchers angry.