"ocaml_beginners"::[] Calling 'equal' with different hash values !?

HI !

USING J.C. FILLIāTRE HASHSET - AN ADAPTED VERSION FROM HASHTBL -,
MY PROGRAM OUTPUT IS CORRECT.

I WAS SURPRISED TO DISCOVER THAT THE "EQUAL" COMPARE FUNCTION I PROVIDED TO
HASHSET MODULE WAS CALLED FOR VALUES THAT DO NOT SHARE THE SAME HASH ! ?

I THOUGHT TO HAVE UNDERSTOOD SINCE A LONG TIME THAT :

DIFFERENT HASH VALUES ->
NO CLASH, NOT IN SAME BUCKET ->
NO NEED TO PERFORM THE SLOW DEEP 'EQUAL' TEST

SO I'VE NECESSARILY A BUG ?
PLEASE COULD YOU CONFIRM THIS ?

(HERE IS THE PROGRAM, BUT THEY ARE SEVERAL PAGES AND MAYBE THEY AREN'T USEFUL TO BE SURE SOMETHING GOES WRONG.
HTTP://FABRICE.MARCHANT.FREE.FR/OCAMLCODE/N-EDGES/
)

THANKS

MESSAGES IN THIS TOPIC (1) REPLY (VIA WEB POST) | START A NEW TOPIC

.