From 60bd3ae1d6511a81324533d5521b8dd556ca65ba Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 3 Jun 2024 10:21:16 -0400 Subject: [PATCH] perf: use a monomorphic impl for CCMonomorphic.{min,max} close #452 --- src/monomorphic/CCMonomorphic.ml | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/src/monomorphic/CCMonomorphic.ml b/src/monomorphic/CCMonomorphic.ml index ce484654..c1720ccb 100644 --- a/src/monomorphic/CCMonomorphic.ml +++ b/src/monomorphic/CCMonomorphic.ml @@ -7,8 +7,19 @@ let ( > ) : int -> int -> bool = Stdlib.( > ) let ( <= ) : int -> int -> bool = Stdlib.( <= ) let ( >= ) : int -> int -> bool = Stdlib.( >= ) let compare : int -> int -> int = Stdlib.compare + +[@@@ifge 4.13] + +let min : int -> int -> int = Int.min +let max : int -> int -> int = Int.max + +[@@@else_] + let min : int -> int -> int = Stdlib.min let max : int -> int -> int = Stdlib.max + +[@@@endif] + let ( =. ) : float -> float -> bool = Stdlib.( = ) let ( <>. ) : float -> float -> bool = Stdlib.( <> ) let ( <. ) : float -> float -> bool = Stdlib.( < )