Change return type of primitive float comparison

Replace `option comparison` with `float_comparison` (:= `FEq | FLt |
FGt | FNotComparable`) as suggested by Guillaume Melquiond to avoid
boxing and an extra match when using primitive float comparison.

1 files changed, 5 insertions, 5 deletions

diff --git a/kernel/float64.ml b/kernel/float64.ml
index a625c0f551..eebc8f35ef 100644
--- a/kernel/float64.ml
+++ b/kernel/float64.ml
@@ -24,17 +24,17 @@ let of_float f = f
 let opp = ( ~-. )
 let abs = abs_float
 
-type float_comparison = Eq | Lt | Gt | NotComparable
+type float_comparison = FEq | FLt | FGt | FNotComparable
 
 let compare x y =
-  if x < y then Lt
+  if x < y then FLt
   else
   (
-    if x > y then Gt
+    if x > y then FGt
     else
     (
-      if x = y then Eq
-      else NotComparable (* NaN case *)
+      if x = y then FEq
+      else FNotComparable (* NaN case *)
     )
   )