[Caml-list] Performance degradation when using '=' instead of 'compare'

[Leonardo Laguna Ruiz <modlfo@gmail.com>]

I don't know if this has been discussed before, but a few weeks back we 
detected a large performance degradation in our product. We tracked down 
the problem and turned out to be that an innocent looking line was 
changed. Something like this:

if compare a b = 0 then  .... else ...

became:

if a = b then ... else ...

in our specific algorithm, 'a' and 'b' where values of some custom type. 
By looking at the ocaml runtime code we could see that 'compare' 
performs physical equality before doing the structural comparison.  
While '=' only performs structural equality.  In our case, 'a' and 'b' 
were most of the times physically equal, and by changing to the operator 
'=' a full structural comparison of the object was performed.

I wonder what's the reason why '=' does not uses physical equality. Now 
we are trying to track all the places where '=' is used and changing it 
to either:  "a == b | a=b", or "compare a b = 0"

Leonardo