Micro-optimize Ident.compare

This function is called a very large amount of times. Surprisingly, it was calling the generic compare function. This has a very small impact. Co-authored-by: Guillaume Petiot <[email protected]>
Julow · Oct 9, 2023 · 838681e · 838681e
1 parent 9e32d6e
commit 838681e
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/xref2/ident.ml b/src/xref2/ident.ml
@@ -363,8 +363,7 @@ end
 
 let hash : any -> int = Hashtbl.hash
 
-let compare : any -> any -> int =
- fun a b -> compare (int_of_any a) (int_of_any b)
+let compare : any -> any -> int = fun a b -> int_of_any a - int_of_any b
 
 module Maps = struct
   module Module = Map.Make (struct