From: Martin J. <mar...@em...> - 2006-11-17 20:09:28
|
On Fri, 17 Nov 2006, Denis Bueno wrote: > On 11/17/06, Martin Jambon <mar...@em...> wrote: > > Maybe I am missing something, but you already give a comparison function > > when you create the map (PMap.create). This is where you would pass your > > custom comparison function rather than Pervasives.compare. You can't > > change it later. > > I have never used that function. I always insert elements into > existing maps, starting with a PMap.empty. Well, start with (PMap.create your_compare) then. Martin -- Martin Jambon, PhD http://martin.jambon.free.fr |