From 79605dabb10e889ae998bf72c8483f095277e693 Mon Sep 17 00:00:00 2001
From: Pierre Roux
Date: Tue, 28 Aug 2018 14:31:37 +0200
Subject: 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.
---
 kernel/float64.ml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'kernel/float64.ml')

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 *)
     )
   )
 
-- 
cgit v1.2.3