fixup! restore Float.equal

Author: hhugo

compiler/lib/code.ml

@@ -387,9 +387,9 @@ module Constant = struct
           done;
           !same
     | Int64 a, Int64 b -> Some (Int64.equal a b)
-    | Float_array a, Float_array b -> Some (Array.equal Float.equal a b)
+    | Float_array a, Float_array b -> Some (Array.equal Float.ieee_equal a b)
     | Int a, Int b -> Some (Int32.equal a b)
-    | Float a, Float b -> Some (Float.equal a b)
+    | Float a, Float b -> Some (Float.ieee_equal a b)
     | String _, NativeString _ | NativeString _, String _ -> None
     | Int _, Float _ | Float _, Int _ -> None
     | Tuple ((0 | 254), _, _), Float_array _ -> None

compiler/lib/eval.ml

@@ -237,7 +237,7 @@ let the_cont_of info x (a : cont array) =
 let constant_js_equal a b =
   match a, b with
   | Int i, Int j -> Some (Int32.equal i j)
-  | Float a, Float b -> Some (Float.equal a b)
+  | Float a, Float b -> Some (Float.ieee_equal a b)
   | NativeString a, NativeString b -> Some (Native_string.equal a b)
   | String a, String b when Config.Flag.use_js_string () -> Some (String.equal a b)
   | Int _, Float _ | Float _, Int _ -> None

compiler/lib/javascript.ml

@@ -112,14 +112,14 @@ end = struct
     | FP_infinite -> if Float.(v < 0.) then "-Infinity" else "Infinity"
     | FP_normal | FP_subnormal -> (
         let vint = int_of_float v in
-        if Float.equal (float_of_int vint) v
+        if Float.ieee_equal (float_of_int vint) v
         then Printf.sprintf "%d." vint
         else
           match
             find_smaller
               ~f:(fun prec ->
                 let s = float_to_string prec v in
-                if Float.equal v (float_of_string s) then Some s else None)
+                if Float.ieee_equal v (float_of_string s) then Some s else None)
               ~bad:0
               ~good:18
               ~good_s:"max"

compiler/lib/stdlib.ml

@@ -401,7 +401,9 @@ end
 module Float = struct
   type t = float
 
-  let equal = Float.equal
+  let equal (_ : float) (_ : float) = `Use_ieee_equal_or_bitwise_equal
+
+  let ieee_equal (a : float) (b : float) = Poly.equal a b
 
   let bitwise_equal (a : float) (b : float) =
     Int64.equal (Int64.bits_of_float a) (Int64.bits_of_float b)