diff --git a/ocaml/ocamltest/ocaml_modifiers.ml b/ocaml/ocamltest/ocaml_modifiers.ml index 24859c5e6bc..e738c016e8f 100644 --- a/ocaml/ocamltest/ocaml_modifiers.ml +++ b/ocaml/ocamltest/ocaml_modifiers.ml @@ -139,16 +139,12 @@ let _ = register_modifiers "dynlink" dynlink; register_modifiers "str" str; List.iter - (fun old_name -> - let new_name = "stdlib_" ^ old_name in - register_modifiers old_name (extension_universe_lib old_name); - register_modifiers new_name (extension_universe_lib new_name); - ) + (fun name -> register_modifiers name (extension_universe_lib name)) [ - "upstream_compatible"; - "stable"; - "beta"; - "alpha"; + "stdlib_upstream_compatible"; + "stdlib_stable"; + "stdlib_beta"; + "stdlib_alpha"; ]; List.iter (fun archive -> register_modifiers archive (compilerlibs_archive archive)) diff --git a/ocaml/otherlibs/alpha/dune b/ocaml/otherlibs/alpha/dune deleted file mode 100644 index b764137905d..00000000000 --- a/ocaml/otherlibs/alpha/dune +++ /dev/null @@ -1,54 +0,0 @@ -;************************************************************************** -;* * -;* OCaml * -;* * -;* Diana Kalinichenko, Jane Street, New York * -;* * -;* Copyright 2024 Jane Street Group LLC * -;* * -;* All rights reserved. This file is distributed under the terms of * -;* the GNU Lesser General Public License version 2.1, with the * -;* special exception on linking described in the file LICENSE. * -;* * -;************************************************************************** - -;; [alpha] was renamed to [stdlib_alpha]. This library clones [stdlib_alpha] -;; until we move all existing uses of [alpha] to [stdlib_alpha]. - -(library - (name alpha) - (public_name ocaml.alpha) - (modes byte native) - (flags - (:standard - -strict-sequence - -absname - -bin-annot - -safe-string - -strict-formats - -extension-universe - alpha)) - (ocamlopt_flags - (:include %{project_root}/ocamlopt_flags.sexp)) - (library_flags - (:standard -linkall))) - -;; We clone files from [stdlib_alpha] instead of re-exporting the library -;; to avoid adding a new transitive dependency to builds. - -(rule - (deps - (glob_files ../stdlib_alpha/*.{ml,mli})) - (targets alpha.ml alpha.mli) - (action - (bash - "cp ../stdlib_alpha/*.{ml,mli} .; mv stdlib_alpha.ml alpha.ml; mv stdlib_alpha.mli alpha.mli"))) - -(rule - (deps - (:first-dep ../to_install.sh) - (glob_files *.mli)) - (action - (with-stdout-to - to_install.sexp - (run "%{first-dep}" "alpha")))) diff --git a/ocaml/otherlibs/beta/dune b/ocaml/otherlibs/beta/dune deleted file mode 100644 index 1bf50afedcc..00000000000 --- a/ocaml/otherlibs/beta/dune +++ /dev/null @@ -1,56 +0,0 @@ -;************************************************************************** -;* * -;* OCaml * -;* * -;* Diana Kalinichenko, Jane Street, New York * -;* * -;* Copyright 2024 Jane Street Group LLC * -;* * -;* All rights reserved. This file is distributed under the terms of * -;* the GNU Lesser General Public License version 2.1, with the * -;* special exception on linking described in the file LICENSE. * -;* * -;************************************************************************** - -;; [beta] was renamed to [stdlib_beta]. This library clones [stdlib_beta] -;; until we move all existing uses of [beta] to [stdlib_beta]. - -(library - (name beta) - (public_name ocaml.beta) - (modes byte native) - (enabled_if - (= %{architecture} "amd64")) - (flags - (:standard - -strict-sequence - -absname - -bin-annot - -safe-string - -strict-formats - -extension-universe - beta)) - (ocamlopt_flags - (:include %{project_root}/ocamlopt_flags.sexp)) - (library_flags - (:standard -linkall))) - -;; We clone files from [stdlib_beta] instead of re-exporting the library -;; to avoid adding a new transitive dependency to builds. - -(rule - (deps - (glob_files ../stdlib_beta/*.{ml,mli})) - (targets float32.ml float32.mli float32_u.ml float32_u.mli beta.ml beta.mli) - (action - (bash - "cp ../stdlib_beta/*.{ml,mli} .; mv stdlib_beta.ml beta.ml; mv stdlib_beta.mli beta.mli"))) - -(rule - (deps - (:first-dep ../to_install.sh) - (glob_files *.mli)) - (action - (with-stdout-to - to_install.sexp - (run "%{first-dep}" "beta")))) diff --git a/ocaml/otherlibs/stable/dune b/ocaml/otherlibs/stable/dune deleted file mode 100644 index 959744e257c..00000000000 --- a/ocaml/otherlibs/stable/dune +++ /dev/null @@ -1,60 +0,0 @@ -;************************************************************************** -;* * -;* OCaml * -;* * -;* Diana Kalinichenko, Jane Street, New York * -;* * -;* Copyright 2024 Jane Street Group LLC * -;* * -;* All rights reserved. This file is distributed under the terms of * -;* the GNU Lesser General Public License version 2.1, with the * -;* special exception on linking described in the file LICENSE. * -;* * -;************************************************************************** - -;; [stable] was renamed to [stdlib_stable]. This library clones [stdlib_stable] -;; until we move all existing uses of [stable] to [stdlib_stable]. - -(library - (name stable) - (public_name ocaml.stable) - (modes byte native) - (flags - (:standard - -strict-sequence - -absname - -bin-annot - -safe-string - -strict-formats - -extension-universe - stable)) - (ocamlopt_flags - (:include %{project_root}/ocamlopt_flags.sexp)) - (library_flags - (:standard -linkall))) - -;; We clone files from [stdlib_stable] instead of re-exporting the library -;; to avoid adding a new transitive dependency to builds. - -(rule - (deps - (glob_files ../stdlib_stable/*.{ml,mli})) - (targets - iarray.ml - iarray.mli - iarrayLabels.ml - iarrayLabels.mli - stable.ml - stable.mli) - (action - (bash - "cp ../stdlib_stable/*.{ml,mli} .; mv stdlib_stable.ml stable.ml; mv stdlib_stable.mli stable.mli"))) - -(rule - (deps - (:first-dep ../to_install.sh) - (glob_files *.mli)) - (action - (with-stdout-to - to_install.sexp - (run "%{first-dep}" "stable")))) diff --git a/ocaml/otherlibs/upstream_compatible/dune b/ocaml/otherlibs/upstream_compatible/dune deleted file mode 100644 index 327a0f4e610..00000000000 --- a/ocaml/otherlibs/upstream_compatible/dune +++ /dev/null @@ -1,65 +0,0 @@ -;************************************************************************** -;* * -;* OCaml * -;* * -;* Diana Kalinichenko, Jane Street, New York * -;* * -;* Copyright 2024 Jane Street Group LLC * -;* * -;* All rights reserved. This file is distributed under the terms of * -;* the GNU Lesser General Public License version 2.1, with the * -;* special exception on linking described in the file LICENSE. * -;* * -;************************************************************************** - -;; [upstream_compatible] was renamed to [stdlib_upstream_compatible]. -;; This library clones [stdlib_upstream_compatible] until we move all -;; existing uses of [upstream_compatible] to [stdlib_upstream_compatible]. - -(library - (name upstream_compatible) - (public_name ocaml.upstream_compatible) - (modes byte native) - (flags - (:standard - -strict-sequence - -absname - -bin-annot - -safe-string - -strict-formats - -extension-universe - upstream_compatible)) - (ocamlopt_flags - (:include %{project_root}/ocamlopt_flags.sexp)) - (library_flags - (:standard -linkall))) - -;; We clone files from [stdlib_upstream_compatible] instead of re-exporting the library -;; to avoid adding a new transitive dependency to builds. - -(rule - (deps - (glob_files ../stdlib_upstream_compatible/*.{ml,mli})) - (targets - float_u.ml - float_u.mli - int32_u.ml - int32_u.mli - int64_u.ml - int64_u.mli - nativeint_u.ml - nativeint_u.mli - upstream_compatible.ml - upstream_compatible.mli) - (action - (bash - "cp ../stdlib_upstream_compatible/*.{ml,mli} .; mv stdlib_upstream_compatible.ml upstream_compatible.ml; mv stdlib_upstream_compatible.mli upstream_compatible.mli"))) - -(rule - (deps - (:first-dep ../to_install.sh) - (glob_files *.mli)) - (action - (with-stdout-to - to_install.sexp - (run "%{first-dep}" "upstream_compatible")))) diff --git a/ocaml/testsuite/tests/mixed-blocks/constructor_args.ml b/ocaml/testsuite/tests/mixed-blocks/constructor_args.ml index ea3ae3aa563..6c19e8636e6 100644 --- a/ocaml/testsuite/tests/mixed-blocks/constructor_args.ml +++ b/ocaml/testsuite/tests/mixed-blocks/constructor_args.ml @@ -1,6 +1,6 @@ (* TEST flags = "-extension layouts_beta -extension small_numbers"; - include beta; + include stdlib_beta; flambda2; include stdlib_upstream_compatible; { @@ -13,8 +13,8 @@ (*****************************************) (* Prelude: Functions on unboxed numbers *) -module Float32_u = Beta.Float32_u -module Float32 = Beta.Float32 +module Float32_u = Stdlib_beta.Float32_u +module Float32 = Stdlib_beta.Float32 module Float_u = Stdlib_upstream_compatible.Float_u module Int32_u = Stdlib_upstream_compatible.Int32_u module Int64_u = Stdlib_upstream_compatible.Int64_u diff --git a/ocaml/testsuite/tests/mixed-blocks/generate_mixed_blocks_code.ml b/ocaml/testsuite/tests/mixed-blocks/generate_mixed_blocks_code.ml index 3401036dba8..c67dbc77b89 100644 --- a/ocaml/testsuite/tests/mixed-blocks/generate_mixed_blocks_code.ml +++ b/ocaml/testsuite/tests/mixed-blocks/generate_mixed_blocks_code.ml @@ -234,7 +234,7 @@ let type_to_field_integrity_check type_ ~access1 ~access2 ~message = | Imm -> "check_int", None | Float -> "check_float", None | Float64 -> "check_float", Some "Stdlib_upstream_compatible.Float_u.to_float" - | Float32 -> "check_float32", Some "Beta.Float32_u.to_float32" + | Float32 -> "check_float32", Some "Stdlib_beta.Float32_u.to_float32" | Bits32 -> "check_int32", Some "Stdlib_upstream_compatible.Int32_u.to_int32" | Bits64 -> "check_int64", Some "Stdlib_upstream_compatible.Int64_u.to_int64" | Word -> "check_int", Some "Stdlib_upstream_compatible.Nativeint_u.to_int" @@ -566,7 +566,7 @@ let main n ~bytecode = in line {|(* TEST flags = "-extension layouts_beta -extension small_numbers"; - include beta; + include stdlib_beta; include stdlib_upstream_compatible;|}; if bytecode then ( line {| bytecode;|}; @@ -581,9 +581,9 @@ let main n ~bytecode = line {|let create_string () = String.make (Random.int 100) 'a'|}; line {|let create_int () = Random.int 0x3FFF_FFFF|}; line {|let create_float () = Random.float Float.max_float|}; - line {|let create_float32 () = Beta.Float32.of_float (Random.float Float.max_float)|}; + line {|let create_float32 () = Stdlib_beta.Float32.of_float (Random.float Float.max_float)|}; line {|let create_float_u () = Stdlib_upstream_compatible.Float_u.of_float (create_float ())|}; - line {|let create_float32_u () = Beta.Float32_u.of_float32 (create_float32 ())|}; + line {|let create_float32_u () = Stdlib_beta.Float32_u.of_float32 (create_float32 ())|}; line {|let create_int32_u () = Stdlib_upstream_compatible.Int32_u.of_int32 (Random.int32 0x7FFF_FFFFl)|}; line {|let create_int64_u () = Stdlib_upstream_compatible.Int64_u.of_int64 (Random.int64 0x7FFF_FFFF_FFFF_FFFFL)|}; line {|let create_nativeint_u () = Stdlib_upstream_compatible.Nativeint_u.of_nativeint (Random.nativeint 0x7FFF_FFFF_FFFF_FFFFn)|}; @@ -601,7 +601,7 @@ let main n ~bytecode = check_gen ~equal:Float.equal ~to_string:Float.to_string|}; line {|let check_float32 = - check_gen ~equal:Beta.Float32.equal ~to_string:Beta.Float32.to_string|}; + check_gen ~equal:Stdlib_beta.Float32.equal ~to_string:Stdlib_beta.Float32.to_string|}; line {|let check_int32 = check_gen ~equal:Int32.equal ~to_string:Int32.to_string|}; diff --git a/ocaml/testsuite/tests/mixed-blocks/generated_byte_test.ml b/ocaml/testsuite/tests/mixed-blocks/generated_byte_test.ml index efd31eefd2c..b8807c6a174 100644 --- a/ocaml/testsuite/tests/mixed-blocks/generated_byte_test.ml +++ b/ocaml/testsuite/tests/mixed-blocks/generated_byte_test.ml @@ -1,6 +1,6 @@ (* TEST flags = "-extension layouts_beta -extension small_numbers"; - include beta; + include stdlib_beta; include stdlib_upstream_compatible; bytecode; *) @@ -10,9 +10,9 @@ let create_string () = String.make (Random.int 100) 'a' let create_int () = Random.int 0x3FFF_FFFF let create_float () = Random.float Float.max_float -let create_float32 () = Beta.Float32.of_float (Random.float Float.max_float) +let create_float32 () = Stdlib_beta.Float32.of_float (Random.float Float.max_float) let create_float_u () = Stdlib_upstream_compatible.Float_u.of_float (create_float ()) -let create_float32_u () = Beta.Float32_u.of_float32 (create_float32 ()) +let create_float32_u () = Stdlib_beta.Float32_u.of_float32 (create_float32 ()) let create_int32_u () = Stdlib_upstream_compatible.Int32_u.of_int32 (Random.int32 0x7FFF_FFFFl) let create_int64_u () = Stdlib_upstream_compatible.Int64_u.of_int64 (Random.int64 0x7FFF_FFFF_FFFF_FFFFL) let create_nativeint_u () = Stdlib_upstream_compatible.Nativeint_u.of_nativeint (Random.nativeint 0x7FFF_FFFF_FFFF_FFFFn) @@ -26,7 +26,7 @@ let check_int = check_gen ~equal:Int.equal ~to_string:Int.to_string let check_float = check_gen ~equal:Float.equal ~to_string:Float.to_string let check_float32 = - check_gen ~equal:Beta.Float32.equal ~to_string:Beta.Float32.to_string + check_gen ~equal:Stdlib_beta.Float32.equal ~to_string:Stdlib_beta.Float32.to_string let check_int32 = check_gen ~equal:Int32.equal ~to_string:Int32.to_string let check_int64 = @@ -7620,24 +7620,24 @@ let t_orig599_A = t599_A;; check_float (Stdlib_upstream_compatible.Float_u.to_float t76.float_u1) (Stdlib_upstream_compatible.Float_u.to_float t_orig76.float_u1) ~message:"t76.float_u1"; check_string t77.str0 t_orig77.str0 ~message:"t77.str0"; check_float (Stdlib_upstream_compatible.Float_u.to_float t77.float_u1) (Stdlib_upstream_compatible.Float_u.to_float t_orig77.float_u1) ~message:"t77.float_u1"; - check_float32 (Beta.Float32_u.to_float32 t78.float32_u0) (Beta.Float32_u.to_float32 t_orig78.float32_u0) ~message:"t78.float32_u0"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t78.float32_u0) (Stdlib_beta.Float32_u.to_float32 t_orig78.float32_u0) ~message:"t78.float32_u0"; check_string t79.str0 t_orig79.str0 ~message:"t79.str0"; check_float (Stdlib_upstream_compatible.Float_u.to_float t79.float_u1) (Stdlib_upstream_compatible.Float_u.to_float t_orig79.float_u1) ~message:"t79.float_u1"; check_string t80.str0 t_orig80.str0 ~message:"t80.str0"; - check_float32 (Beta.Float32_u.to_float32 t80.float32_u1) (Beta.Float32_u.to_float32 t_orig80.float32_u1) ~message:"t80.float32_u1"; - check_float32 (Beta.Float32_u.to_float32 t81.float32_u0) (Beta.Float32_u.to_float32 t_orig81.float32_u0) ~message:"t81.float32_u0"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t80.float32_u1) (Stdlib_beta.Float32_u.to_float32 t_orig80.float32_u1) ~message:"t80.float32_u1"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t81.float32_u0) (Stdlib_beta.Float32_u.to_float32 t_orig81.float32_u0) ~message:"t81.float32_u0"; check_string t82.str0 t_orig82.str0 ~message:"t82.str0"; - check_float32 (Beta.Float32_u.to_float32 t82.float32_u1) (Beta.Float32_u.to_float32 t_orig82.float32_u1) ~message:"t82.float32_u1"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t82.float32_u1) (Stdlib_beta.Float32_u.to_float32 t_orig82.float32_u1) ~message:"t82.float32_u1"; check_string t83.str0 t_orig83.str0 ~message:"t83.str0"; - check_float32 (Beta.Float32_u.to_float32 t83.float32_u1) (Beta.Float32_u.to_float32 t_orig83.float32_u1) ~message:"t83.float32_u1"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t83.float32_u1) (Stdlib_beta.Float32_u.to_float32 t_orig83.float32_u1) ~message:"t83.float32_u1"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t84.i32_0) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig84.i32_0) ~message:"t84.i32_0"; check_string t85.str0 t_orig85.str0 ~message:"t85.str0"; check_string t85.str1 t_orig85.str1 ~message:"t85.str1"; check_float (Stdlib_upstream_compatible.Float_u.to_float t85.float_u2) (Stdlib_upstream_compatible.Float_u.to_float t_orig85.float_u2) ~message:"t85.float_u2"; check_float t86.float0 t_orig86.float0 ~message:"t86.float0"; - check_float32 (Beta.Float32_u.to_float32 t86.float32_u1) (Beta.Float32_u.to_float32 t_orig86.float32_u1) ~message:"t86.float32_u1"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t86.float32_u1) (Stdlib_beta.Float32_u.to_float32 t_orig86.float32_u1) ~message:"t86.float32_u1"; check_string t87.str0 t_orig87.str0 ~message:"t87.str0"; - check_float32 (Beta.Float32_u.to_float32 t87.float32_u1) (Beta.Float32_u.to_float32 t_orig87.float32_u1) ~message:"t87.float32_u1"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t87.float32_u1) (Stdlib_beta.Float32_u.to_float32 t_orig87.float32_u1) ~message:"t87.float32_u1"; check_string t88.str0 t_orig88.str0 ~message:"t88.str0"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t88.i32_1) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig88.i32_1) ~message:"t88.i32_1"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t89.i32_0) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig89.i32_0) ~message:"t89.i32_0"; @@ -7648,9 +7648,9 @@ let t_orig599_A = t599_A;; check_string t91.str1 t_orig91.str1 ~message:"t91.str1"; check_float (Stdlib_upstream_compatible.Float_u.to_float t91.float_u2) (Stdlib_upstream_compatible.Float_u.to_float t_orig91.float_u2) ~message:"t91.float_u2"; check_float t92.float0 t_orig92.float0 ~message:"t92.float0"; - check_float32 (Beta.Float32_u.to_float32 t92.float32_u1) (Beta.Float32_u.to_float32 t_orig92.float32_u1) ~message:"t92.float32_u1"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t92.float32_u1) (Stdlib_beta.Float32_u.to_float32 t_orig92.float32_u1) ~message:"t92.float32_u1"; check_float t93.float0 t_orig93.float0 ~message:"t93.float0"; - check_float32 (Beta.Float32_u.to_float32 t93.float32_u1) (Beta.Float32_u.to_float32 t_orig93.float32_u1) ~message:"t93.float32_u1"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t93.float32_u1) (Stdlib_beta.Float32_u.to_float32 t_orig93.float32_u1) ~message:"t93.float32_u1"; check_string t94.str0 t_orig94.str0 ~message:"t94.str0"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t94.i32_1) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig94.i32_1) ~message:"t94.i32_1"; check_string t95.str0 t_orig95.str0 ~message:"t95.str0"; @@ -7664,9 +7664,9 @@ let t_orig599_A = t599_A;; check_float (Stdlib_upstream_compatible.Float_u.to_float t98.float_u2) (Stdlib_upstream_compatible.Float_u.to_float t_orig98.float_u2) ~message:"t98.float_u2"; check_string t99.str0 t_orig99.str0 ~message:"t99.str0"; check_string t99.str1 t_orig99.str1 ~message:"t99.str1"; - check_float32 (Beta.Float32_u.to_float32 t99.float32_u2) (Beta.Float32_u.to_float32 t_orig99.float32_u2) ~message:"t99.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t99.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig99.float32_u2) ~message:"t99.float32_u2"; check_float t100.float0 t_orig100.float0 ~message:"t100.float0"; - check_float32 (Beta.Float32_u.to_float32 t100.float32_u1) (Beta.Float32_u.to_float32 t_orig100.float32_u1) ~message:"t100.float32_u1"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t100.float32_u1) (Stdlib_beta.Float32_u.to_float32 t_orig100.float32_u1) ~message:"t100.float32_u1"; check_float t101.float0 t_orig101.float0 ~message:"t101.float0"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t101.i32_1) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig101.i32_1) ~message:"t101.i32_1"; check_string t102.str0 t_orig102.str0 ~message:"t102.str0"; @@ -7682,10 +7682,10 @@ let t_orig599_A = t599_A;; check_float (Stdlib_upstream_compatible.Float_u.to_float t106.float_u2) (Stdlib_upstream_compatible.Float_u.to_float t_orig106.float_u2) ~message:"t106.float_u2"; check_string t107.str0 t_orig107.str0 ~message:"t107.str0"; check_string t107.str1 t_orig107.str1 ~message:"t107.str1"; - check_float32 (Beta.Float32_u.to_float32 t107.float32_u2) (Beta.Float32_u.to_float32 t_orig107.float32_u2) ~message:"t107.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t107.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig107.float32_u2) ~message:"t107.float32_u2"; check_string t108.str0 t_orig108.str0 ~message:"t108.str0"; check_string t108.str1 t_orig108.str1 ~message:"t108.str1"; - check_float32 (Beta.Float32_u.to_float32 t108.float32_u2) (Beta.Float32_u.to_float32 t_orig108.float32_u2) ~message:"t108.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t108.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig108.float32_u2) ~message:"t108.float32_u2"; check_float t109.float0 t_orig109.float0 ~message:"t109.float0"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t109.i32_1) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig109.i32_1) ~message:"t109.i32_1"; check_float t110.float0 t_orig110.float0 ~message:"t110.float0"; @@ -7703,10 +7703,10 @@ let t_orig599_A = t599_A;; check_float (Stdlib_upstream_compatible.Float_u.to_float t115.float_u2) (Stdlib_upstream_compatible.Float_u.to_float t_orig115.float_u2) ~message:"t115.float_u2"; check_float t116.float0 t_orig116.float0 ~message:"t116.float0"; check_string t116.str1 t_orig116.str1 ~message:"t116.str1"; - check_float32 (Beta.Float32_u.to_float32 t116.float32_u2) (Beta.Float32_u.to_float32 t_orig116.float32_u2) ~message:"t116.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t116.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig116.float32_u2) ~message:"t116.float32_u2"; check_string t117.str0 t_orig117.str0 ~message:"t117.str0"; check_string t117.str1 t_orig117.str1 ~message:"t117.str1"; - check_float32 (Beta.Float32_u.to_float32 t117.float32_u2) (Beta.Float32_u.to_float32 t_orig117.float32_u2) ~message:"t117.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t117.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig117.float32_u2) ~message:"t117.float32_u2"; check_string t118.str0 t_orig118.str0 ~message:"t118.str0"; check_string t118.str1 t_orig118.str1 ~message:"t118.str1"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t118.i32_2) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig118.i32_2) ~message:"t118.i32_2"; @@ -7727,10 +7727,10 @@ let t_orig599_A = t599_A;; check_float (Stdlib_upstream_compatible.Float_u.to_float t125.float_u2) (Stdlib_upstream_compatible.Float_u.to_float t_orig125.float_u2) ~message:"t125.float_u2"; check_float t126.float0 t_orig126.float0 ~message:"t126.float0"; check_string t126.str1 t_orig126.str1 ~message:"t126.str1"; - check_float32 (Beta.Float32_u.to_float32 t126.float32_u2) (Beta.Float32_u.to_float32 t_orig126.float32_u2) ~message:"t126.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t126.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig126.float32_u2) ~message:"t126.float32_u2"; check_float t127.float0 t_orig127.float0 ~message:"t127.float0"; check_string t127.str1 t_orig127.str1 ~message:"t127.str1"; - check_float32 (Beta.Float32_u.to_float32 t127.float32_u2) (Beta.Float32_u.to_float32 t_orig127.float32_u2) ~message:"t127.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t127.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig127.float32_u2) ~message:"t127.float32_u2"; check_string t128.str0 t_orig128.str0 ~message:"t128.str0"; check_string t128.str1 t_orig128.str1 ~message:"t128.str1"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t128.i32_2) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig128.i32_2) ~message:"t128.i32_2"; @@ -7755,10 +7755,10 @@ let t_orig599_A = t599_A;; check_float (Stdlib_upstream_compatible.Float_u.to_float t136.float_u2) (Stdlib_upstream_compatible.Float_u.to_float t_orig136.float_u2) ~message:"t136.float_u2"; check_int t137.imm0 t_orig137.imm0 ~message:"t137.imm0"; check_string t137.str1 t_orig137.str1 ~message:"t137.str1"; - check_float32 (Beta.Float32_u.to_float32 t137.float32_u2) (Beta.Float32_u.to_float32 t_orig137.float32_u2) ~message:"t137.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t137.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig137.float32_u2) ~message:"t137.float32_u2"; check_float t138.float0 t_orig138.float0 ~message:"t138.float0"; check_string t138.str1 t_orig138.str1 ~message:"t138.str1"; - check_float32 (Beta.Float32_u.to_float32 t138.float32_u2) (Beta.Float32_u.to_float32 t_orig138.float32_u2) ~message:"t138.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t138.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig138.float32_u2) ~message:"t138.float32_u2"; check_float t139.float0 t_orig139.float0 ~message:"t139.float0"; check_string t139.str1 t_orig139.str1 ~message:"t139.str1"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t139.i32_2) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig139.i32_2) ~message:"t139.i32_2"; @@ -7787,10 +7787,10 @@ let t_orig599_A = t599_A;; check_float (Stdlib_upstream_compatible.Float_u.to_float t148.float_u2) (Stdlib_upstream_compatible.Float_u.to_float t_orig148.float_u2) ~message:"t148.float_u2"; check_int t149.imm0 t_orig149.imm0 ~message:"t149.imm0"; check_string t149.str1 t_orig149.str1 ~message:"t149.str1"; - check_float32 (Beta.Float32_u.to_float32 t149.float32_u2) (Beta.Float32_u.to_float32 t_orig149.float32_u2) ~message:"t149.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t149.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig149.float32_u2) ~message:"t149.float32_u2"; check_int t150.imm0 t_orig150.imm0 ~message:"t150.imm0"; check_string t150.str1 t_orig150.str1 ~message:"t150.str1"; - check_float32 (Beta.Float32_u.to_float32 t150.float32_u2) (Beta.Float32_u.to_float32 t_orig150.float32_u2) ~message:"t150.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t150.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig150.float32_u2) ~message:"t150.float32_u2"; check_float t151.float0 t_orig151.float0 ~message:"t151.float0"; check_string t151.str1 t_orig151.str1 ~message:"t151.str1"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t151.i32_2) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig151.i32_2) ~message:"t151.i32_2"; @@ -7813,7 +7813,7 @@ let t_orig599_A = t599_A;; check_string t158.str0 t_orig158.str0 ~message:"t158.str0"; check_float (Stdlib_upstream_compatible.Float_u.to_float t158.float_u1) (Stdlib_upstream_compatible.Float_u.to_float t_orig158.float_u1) ~message:"t158.float_u1"; check_int t158.imm2 t_orig158.imm2 ~message:"t158.imm2"; - check_float32 (Beta.Float32_u.to_float32 t159.float32_u0) (Beta.Float32_u.to_float32 t_orig159.float32_u0) ~message:"t159.float32_u0"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t159.float32_u0) (Stdlib_beta.Float32_u.to_float32 t_orig159.float32_u0) ~message:"t159.float32_u0"; check_int t159.imm1 t_orig159.imm1 ~message:"t159.imm1"; check_float t160.float0 t_orig160.float0 ~message:"t160.float0"; check_string t160.str1 t_orig160.str1 ~message:"t160.str1"; @@ -7823,10 +7823,10 @@ let t_orig599_A = t599_A;; check_float (Stdlib_upstream_compatible.Float_u.to_float t161.float_u2) (Stdlib_upstream_compatible.Float_u.to_float t_orig161.float_u2) ~message:"t161.float_u2"; check_string t162.str0 t_orig162.str0 ~message:"t162.str0"; check_string t162.str1 t_orig162.str1 ~message:"t162.str1"; - check_float32 (Beta.Float32_u.to_float32 t162.float32_u2) (Beta.Float32_u.to_float32 t_orig162.float32_u2) ~message:"t162.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t162.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig162.float32_u2) ~message:"t162.float32_u2"; check_int t163.imm0 t_orig163.imm0 ~message:"t163.imm0"; check_string t163.str1 t_orig163.str1 ~message:"t163.str1"; - check_float32 (Beta.Float32_u.to_float32 t163.float32_u2) (Beta.Float32_u.to_float32 t_orig163.float32_u2) ~message:"t163.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t163.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig163.float32_u2) ~message:"t163.float32_u2"; check_int t164.imm0 t_orig164.imm0 ~message:"t164.imm0"; check_string t164.str1 t_orig164.str1 ~message:"t164.str1"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t164.i32_2) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig164.i32_2) ~message:"t164.i32_2"; @@ -7851,9 +7851,9 @@ let t_orig599_A = t599_A;; check_float (Stdlib_upstream_compatible.Float_u.to_float t171.float_u1) (Stdlib_upstream_compatible.Float_u.to_float t_orig171.float_u1) ~message:"t171.float_u1"; check_int t171.imm2 t_orig171.imm2 ~message:"t171.imm2"; check_string t172.str0 t_orig172.str0 ~message:"t172.str0"; - check_float32 (Beta.Float32_u.to_float32 t172.float32_u1) (Beta.Float32_u.to_float32 t_orig172.float32_u1) ~message:"t172.float32_u1"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t172.float32_u1) (Stdlib_beta.Float32_u.to_float32 t_orig172.float32_u1) ~message:"t172.float32_u1"; check_int t172.imm2 t_orig172.imm2 ~message:"t172.imm2"; - check_float32 (Beta.Float32_u.to_float32 t173.float32_u0) (Beta.Float32_u.to_float32 t_orig173.float32_u0) ~message:"t173.float32_u0"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t173.float32_u0) (Stdlib_beta.Float32_u.to_float32 t_orig173.float32_u0) ~message:"t173.float32_u0"; check_int t173.imm1 t_orig173.imm1 ~message:"t173.imm1"; check_float t174.float0 t_orig174.float0 ~message:"t174.float0"; check_string t174.str1 t_orig174.str1 ~message:"t174.str1"; @@ -7863,10 +7863,10 @@ let t_orig599_A = t599_A;; check_float (Stdlib_upstream_compatible.Float_u.to_float t175.float_u2) (Stdlib_upstream_compatible.Float_u.to_float t_orig175.float_u2) ~message:"t175.float_u2"; check_string t176.str0 t_orig176.str0 ~message:"t176.str0"; check_string t176.str1 t_orig176.str1 ~message:"t176.str1"; - check_float32 (Beta.Float32_u.to_float32 t176.float32_u2) (Beta.Float32_u.to_float32 t_orig176.float32_u2) ~message:"t176.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t176.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig176.float32_u2) ~message:"t176.float32_u2"; check_string t177.str0 t_orig177.str0 ~message:"t177.str0"; check_string t177.str1 t_orig177.str1 ~message:"t177.str1"; - check_float32 (Beta.Float32_u.to_float32 t177.float32_u2) (Beta.Float32_u.to_float32 t_orig177.float32_u2) ~message:"t177.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t177.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig177.float32_u2) ~message:"t177.float32_u2"; check_int t178.imm0 t_orig178.imm0 ~message:"t178.imm0"; check_string t178.str1 t_orig178.str1 ~message:"t178.str1"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t178.i32_2) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig178.i32_2) ~message:"t178.i32_2"; @@ -7892,10 +7892,10 @@ let t_orig599_A = t599_A;; check_float (Stdlib_upstream_compatible.Float_u.to_float t185.float_u1) (Stdlib_upstream_compatible.Float_u.to_float t_orig185.float_u1) ~message:"t185.float_u1"; check_int t185.imm2 t_orig185.imm2 ~message:"t185.imm2"; check_string t186.str0 t_orig186.str0 ~message:"t186.str0"; - check_float32 (Beta.Float32_u.to_float32 t186.float32_u1) (Beta.Float32_u.to_float32 t_orig186.float32_u1) ~message:"t186.float32_u1"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t186.float32_u1) (Stdlib_beta.Float32_u.to_float32 t_orig186.float32_u1) ~message:"t186.float32_u1"; check_int t186.imm2 t_orig186.imm2 ~message:"t186.imm2"; check_string t187.str0 t_orig187.str0 ~message:"t187.str0"; - check_float32 (Beta.Float32_u.to_float32 t187.float32_u1) (Beta.Float32_u.to_float32 t_orig187.float32_u1) ~message:"t187.float32_u1"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t187.float32_u1) (Stdlib_beta.Float32_u.to_float32 t_orig187.float32_u1) ~message:"t187.float32_u1"; check_int t187.imm2 t_orig187.imm2 ~message:"t187.imm2"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t188.i32_0) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig188.i32_0) ~message:"t188.i32_0"; check_int t188.imm1 t_orig188.imm1 ~message:"t188.imm1"; @@ -7907,10 +7907,10 @@ let t_orig599_A = t599_A;; check_float (Stdlib_upstream_compatible.Float_u.to_float t190.float_u2) (Stdlib_upstream_compatible.Float_u.to_float t_orig190.float_u2) ~message:"t190.float_u2"; check_float t191.float0 t_orig191.float0 ~message:"t191.float0"; check_string t191.str1 t_orig191.str1 ~message:"t191.str1"; - check_float32 (Beta.Float32_u.to_float32 t191.float32_u2) (Beta.Float32_u.to_float32 t_orig191.float32_u2) ~message:"t191.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t191.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig191.float32_u2) ~message:"t191.float32_u2"; check_string t192.str0 t_orig192.str0 ~message:"t192.str0"; check_string t192.str1 t_orig192.str1 ~message:"t192.str1"; - check_float32 (Beta.Float32_u.to_float32 t192.float32_u2) (Beta.Float32_u.to_float32 t_orig192.float32_u2) ~message:"t192.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t192.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig192.float32_u2) ~message:"t192.float32_u2"; check_string t193.str0 t_orig193.str0 ~message:"t193.str0"; check_string t193.str1 t_orig193.str1 ~message:"t193.str1"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t193.i32_2) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig193.i32_2) ~message:"t193.i32_2"; @@ -7937,10 +7937,10 @@ let t_orig599_A = t599_A;; check_float (Stdlib_upstream_compatible.Float_u.to_float t200.float_u1) (Stdlib_upstream_compatible.Float_u.to_float t_orig200.float_u1) ~message:"t200.float_u1"; check_int t200.imm2 t_orig200.imm2 ~message:"t200.imm2"; check_float t201.float0 t_orig201.float0 ~message:"t201.float0"; - check_float32 (Beta.Float32_u.to_float32 t201.float32_u1) (Beta.Float32_u.to_float32 t_orig201.float32_u1) ~message:"t201.float32_u1"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t201.float32_u1) (Stdlib_beta.Float32_u.to_float32 t_orig201.float32_u1) ~message:"t201.float32_u1"; check_int t201.imm2 t_orig201.imm2 ~message:"t201.imm2"; check_string t202.str0 t_orig202.str0 ~message:"t202.str0"; - check_float32 (Beta.Float32_u.to_float32 t202.float32_u1) (Beta.Float32_u.to_float32 t_orig202.float32_u1) ~message:"t202.float32_u1"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t202.float32_u1) (Stdlib_beta.Float32_u.to_float32 t_orig202.float32_u1) ~message:"t202.float32_u1"; check_int t202.imm2 t_orig202.imm2 ~message:"t202.imm2"; check_string t203.str0 t_orig203.str0 ~message:"t203.str0"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t203.i32_1) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig203.i32_1) ~message:"t203.i32_1"; @@ -7955,10 +7955,10 @@ let t_orig599_A = t599_A;; check_float (Stdlib_upstream_compatible.Float_u.to_float t206.float_u2) (Stdlib_upstream_compatible.Float_u.to_float t_orig206.float_u2) ~message:"t206.float_u2"; check_float t207.float0 t_orig207.float0 ~message:"t207.float0"; check_string t207.str1 t_orig207.str1 ~message:"t207.str1"; - check_float32 (Beta.Float32_u.to_float32 t207.float32_u2) (Beta.Float32_u.to_float32 t_orig207.float32_u2) ~message:"t207.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t207.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig207.float32_u2) ~message:"t207.float32_u2"; check_float t208.float0 t_orig208.float0 ~message:"t208.float0"; check_string t208.str1 t_orig208.str1 ~message:"t208.str1"; - check_float32 (Beta.Float32_u.to_float32 t208.float32_u2) (Beta.Float32_u.to_float32 t_orig208.float32_u2) ~message:"t208.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t208.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig208.float32_u2) ~message:"t208.float32_u2"; check_string t209.str0 t_orig209.str0 ~message:"t209.str0"; check_string t209.str1 t_orig209.str1 ~message:"t209.str1"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t209.i32_2) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig209.i32_2) ~message:"t209.i32_2"; @@ -7986,10 +7986,10 @@ let t_orig599_A = t599_A;; check_float (Stdlib_upstream_compatible.Float_u.to_float t216.float_u2) (Stdlib_upstream_compatible.Float_u.to_float t_orig216.float_u2) ~message:"t216.float_u2"; check_int t216.imm3 t_orig216.imm3 ~message:"t216.imm3"; check_float t217.float0 t_orig217.float0 ~message:"t217.float0"; - check_float32 (Beta.Float32_u.to_float32 t217.float32_u1) (Beta.Float32_u.to_float32 t_orig217.float32_u1) ~message:"t217.float32_u1"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t217.float32_u1) (Stdlib_beta.Float32_u.to_float32 t_orig217.float32_u1) ~message:"t217.float32_u1"; check_int t217.imm2 t_orig217.imm2 ~message:"t217.imm2"; check_float t218.float0 t_orig218.float0 ~message:"t218.float0"; - check_float32 (Beta.Float32_u.to_float32 t218.float32_u1) (Beta.Float32_u.to_float32 t_orig218.float32_u1) ~message:"t218.float32_u1"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t218.float32_u1) (Stdlib_beta.Float32_u.to_float32 t_orig218.float32_u1) ~message:"t218.float32_u1"; check_int t218.imm2 t_orig218.imm2 ~message:"t218.imm2"; check_string t219.str0 t_orig219.str0 ~message:"t219.str0"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t219.i32_1) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig219.i32_1) ~message:"t219.i32_1"; @@ -8007,10 +8007,10 @@ let t_orig599_A = t599_A;; check_float (Stdlib_upstream_compatible.Float_u.to_float t223.float_u2) (Stdlib_upstream_compatible.Float_u.to_float t_orig223.float_u2) ~message:"t223.float_u2"; check_int t224.imm0 t_orig224.imm0 ~message:"t224.imm0"; check_string t224.str1 t_orig224.str1 ~message:"t224.str1"; - check_float32 (Beta.Float32_u.to_float32 t224.float32_u2) (Beta.Float32_u.to_float32 t_orig224.float32_u2) ~message:"t224.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t224.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig224.float32_u2) ~message:"t224.float32_u2"; check_float t225.float0 t_orig225.float0 ~message:"t225.float0"; check_string t225.str1 t_orig225.str1 ~message:"t225.str1"; - check_float32 (Beta.Float32_u.to_float32 t225.float32_u2) (Beta.Float32_u.to_float32 t_orig225.float32_u2) ~message:"t225.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t225.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig225.float32_u2) ~message:"t225.float32_u2"; check_float t226.float0 t_orig226.float0 ~message:"t226.float0"; check_string t226.str1 t_orig226.str1 ~message:"t226.str1"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t226.i32_2) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig226.i32_2) ~message:"t226.i32_2"; @@ -8039,10 +8039,10 @@ let t_orig599_A = t599_A;; check_int t233.imm3 t_orig233.imm3 ~message:"t233.imm3"; check_string t234.str0 t_orig234.str0 ~message:"t234.str0"; check_string t234.str1 t_orig234.str1 ~message:"t234.str1"; - check_float32 (Beta.Float32_u.to_float32 t234.float32_u2) (Beta.Float32_u.to_float32 t_orig234.float32_u2) ~message:"t234.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t234.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig234.float32_u2) ~message:"t234.float32_u2"; check_int t234.imm3 t_orig234.imm3 ~message:"t234.imm3"; check_float t235.float0 t_orig235.float0 ~message:"t235.float0"; - check_float32 (Beta.Float32_u.to_float32 t235.float32_u1) (Beta.Float32_u.to_float32 t_orig235.float32_u1) ~message:"t235.float32_u1"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t235.float32_u1) (Stdlib_beta.Float32_u.to_float32 t_orig235.float32_u1) ~message:"t235.float32_u1"; check_int t235.imm2 t_orig235.imm2 ~message:"t235.imm2"; check_float t236.float0 t_orig236.float0 ~message:"t236.float0"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t236.i32_1) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig236.i32_1) ~message:"t236.i32_1"; @@ -8063,10 +8063,10 @@ let t_orig599_A = t599_A;; check_float (Stdlib_upstream_compatible.Float_u.to_float t241.float_u2) (Stdlib_upstream_compatible.Float_u.to_float t_orig241.float_u2) ~message:"t241.float_u2"; check_int t242.imm0 t_orig242.imm0 ~message:"t242.imm0"; check_string t242.str1 t_orig242.str1 ~message:"t242.str1"; - check_float32 (Beta.Float32_u.to_float32 t242.float32_u2) (Beta.Float32_u.to_float32 t_orig242.float32_u2) ~message:"t242.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t242.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig242.float32_u2) ~message:"t242.float32_u2"; check_int t243.imm0 t_orig243.imm0 ~message:"t243.imm0"; check_string t243.str1 t_orig243.str1 ~message:"t243.str1"; - check_float32 (Beta.Float32_u.to_float32 t243.float32_u2) (Beta.Float32_u.to_float32 t_orig243.float32_u2) ~message:"t243.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t243.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig243.float32_u2) ~message:"t243.float32_u2"; check_float t244.float0 t_orig244.float0 ~message:"t244.float0"; check_string t244.str1 t_orig244.str1 ~message:"t244.str1"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t244.i32_2) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig244.i32_2) ~message:"t244.i32_2"; @@ -8095,11 +8095,11 @@ let t_orig599_A = t599_A;; check_int t251.imm3 t_orig251.imm3 ~message:"t251.imm3"; check_string t252.str0 t_orig252.str0 ~message:"t252.str0"; check_string t252.str1 t_orig252.str1 ~message:"t252.str1"; - check_float32 (Beta.Float32_u.to_float32 t252.float32_u2) (Beta.Float32_u.to_float32 t_orig252.float32_u2) ~message:"t252.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t252.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig252.float32_u2) ~message:"t252.float32_u2"; check_int t252.imm3 t_orig252.imm3 ~message:"t252.imm3"; check_string t253.str0 t_orig253.str0 ~message:"t253.str0"; check_string t253.str1 t_orig253.str1 ~message:"t253.str1"; - check_float32 (Beta.Float32_u.to_float32 t253.float32_u2) (Beta.Float32_u.to_float32 t_orig253.float32_u2) ~message:"t253.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t253.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig253.float32_u2) ~message:"t253.float32_u2"; check_int t253.imm3 t_orig253.imm3 ~message:"t253.imm3"; check_float t254.float0 t_orig254.float0 ~message:"t254.float0"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t254.i32_1) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig254.i32_1) ~message:"t254.i32_1"; @@ -8120,10 +8120,10 @@ let t_orig599_A = t599_A;; check_float (Stdlib_upstream_compatible.Float_u.to_float t259.float_u2) (Stdlib_upstream_compatible.Float_u.to_float t_orig259.float_u2) ~message:"t259.float_u2"; check_string t260.str0 t_orig260.str0 ~message:"t260.str0"; check_float t260.float1 t_orig260.float1 ~message:"t260.float1"; - check_float32 (Beta.Float32_u.to_float32 t260.float32_u2) (Beta.Float32_u.to_float32 t_orig260.float32_u2) ~message:"t260.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t260.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig260.float32_u2) ~message:"t260.float32_u2"; check_int t261.imm0 t_orig261.imm0 ~message:"t261.imm0"; check_string t261.str1 t_orig261.str1 ~message:"t261.str1"; - check_float32 (Beta.Float32_u.to_float32 t261.float32_u2) (Beta.Float32_u.to_float32 t_orig261.float32_u2) ~message:"t261.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t261.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig261.float32_u2) ~message:"t261.float32_u2"; check_int t262.imm0 t_orig262.imm0 ~message:"t262.imm0"; check_string t262.str1 t_orig262.str1 ~message:"t262.str1"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t262.i32_2) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig262.i32_2) ~message:"t262.i32_2"; @@ -8152,11 +8152,11 @@ let t_orig599_A = t599_A;; check_int t269.imm3 t_orig269.imm3 ~message:"t269.imm3"; check_float t270.float0 t_orig270.float0 ~message:"t270.float0"; check_string t270.str1 t_orig270.str1 ~message:"t270.str1"; - check_float32 (Beta.Float32_u.to_float32 t270.float32_u2) (Beta.Float32_u.to_float32 t_orig270.float32_u2) ~message:"t270.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t270.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig270.float32_u2) ~message:"t270.float32_u2"; check_int t270.imm3 t_orig270.imm3 ~message:"t270.imm3"; check_string t271.str0 t_orig271.str0 ~message:"t271.str0"; check_string t271.str1 t_orig271.str1 ~message:"t271.str1"; - check_float32 (Beta.Float32_u.to_float32 t271.float32_u2) (Beta.Float32_u.to_float32 t_orig271.float32_u2) ~message:"t271.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t271.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig271.float32_u2) ~message:"t271.float32_u2"; check_int t271.imm3 t_orig271.imm3 ~message:"t271.imm3"; check_string t272.str0 t_orig272.str0 ~message:"t272.str0"; check_string t272.str1 t_orig272.str1 ~message:"t272.str1"; @@ -8178,10 +8178,10 @@ let t_orig599_A = t599_A;; check_int t277.imm1 t_orig277.imm1 ~message:"t277.imm1"; check_string t278.str0 t_orig278.str0 ~message:"t278.str0"; check_float t278.float1 t_orig278.float1 ~message:"t278.float1"; - check_float32 (Beta.Float32_u.to_float32 t278.float32_u2) (Beta.Float32_u.to_float32 t_orig278.float32_u2) ~message:"t278.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t278.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig278.float32_u2) ~message:"t278.float32_u2"; check_string t279.str0 t_orig279.str0 ~message:"t279.str0"; check_float t279.float1 t_orig279.float1 ~message:"t279.float1"; - check_float32 (Beta.Float32_u.to_float32 t279.float32_u2) (Beta.Float32_u.to_float32 t_orig279.float32_u2) ~message:"t279.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t279.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig279.float32_u2) ~message:"t279.float32_u2"; check_int t280.imm0 t_orig280.imm0 ~message:"t280.imm0"; check_string t280.str1 t_orig280.str1 ~message:"t280.str1"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t280.i32_2) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig280.i32_2) ~message:"t280.i32_2"; @@ -8210,11 +8210,11 @@ let t_orig599_A = t599_A;; check_int t287.imm3 t_orig287.imm3 ~message:"t287.imm3"; check_float t288.float0 t_orig288.float0 ~message:"t288.float0"; check_string t288.str1 t_orig288.str1 ~message:"t288.str1"; - check_float32 (Beta.Float32_u.to_float32 t288.float32_u2) (Beta.Float32_u.to_float32 t_orig288.float32_u2) ~message:"t288.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t288.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig288.float32_u2) ~message:"t288.float32_u2"; check_int t288.imm3 t_orig288.imm3 ~message:"t288.imm3"; check_float t289.float0 t_orig289.float0 ~message:"t289.float0"; check_string t289.str1 t_orig289.str1 ~message:"t289.str1"; - check_float32 (Beta.Float32_u.to_float32 t289.float32_u2) (Beta.Float32_u.to_float32 t_orig289.float32_u2) ~message:"t289.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t289.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig289.float32_u2) ~message:"t289.float32_u2"; check_int t289.imm3 t_orig289.imm3 ~message:"t289.imm3"; check_string t290.str0 t_orig290.str0 ~message:"t290.str0"; check_string t290.str1 t_orig290.str1 ~message:"t290.str1"; @@ -8243,10 +8243,10 @@ let t_orig599_A = t599_A;; check_float (Stdlib_upstream_compatible.Float_u.to_float t297.float_u2) (Stdlib_upstream_compatible.Float_u.to_float t_orig297.float_u2) ~message:"t297.float_u2"; check_float t298.float0 t_orig298.float0 ~message:"t298.float0"; check_float t298.float1 t_orig298.float1 ~message:"t298.float1"; - check_float32 (Beta.Float32_u.to_float32 t298.float32_u2) (Beta.Float32_u.to_float32 t_orig298.float32_u2) ~message:"t298.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t298.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig298.float32_u2) ~message:"t298.float32_u2"; check_string t299.str0 t_orig299.str0 ~message:"t299.str0"; check_float t299.float1 t_orig299.float1 ~message:"t299.float1"; - check_float32 (Beta.Float32_u.to_float32 t299.float32_u2) (Beta.Float32_u.to_float32 t_orig299.float32_u2) ~message:"t299.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t299.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig299.float32_u2) ~message:"t299.float32_u2"; let () = match t300_A, t_orig300_A with | A (a0), A (b0) -> check_float (Stdlib_upstream_compatible.Float_u.to_float a0) (Stdlib_upstream_compatible.Float_u.to_float b0) ~message:"t300_A.0"; @@ -8286,7 +8286,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t305_A, t_orig305_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t305_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t305_A.0"; in let () = match t306_A, t_orig306_A with @@ -8312,7 +8312,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t308_A, t_orig308_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t308_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t308_A.0"; | _ -> assert false in let () = match t308_B, t_orig308_B with @@ -8351,7 +8351,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t312_A, t_orig312_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t312_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t312_A.0"; | _ -> assert false in let () = match t312_B, t_orig312_B with @@ -8373,7 +8373,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t314_A, t_orig314_A with | A (a0,a1), A (b0,b1) -> check_string a0 b0 ~message:"t314_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t314_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t314_A.1"; in let () = match t315_A, t_orig315_A with @@ -8407,7 +8407,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t317_A, t_orig317_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t317_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t317_A.0"; | _ -> assert false in let () = match t317_B, t_orig317_B with @@ -8430,7 +8430,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t319_A, t_orig319_A with | A (a0,a1), A (b0,b1) -> check_string a0 b0 ~message:"t319_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t319_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t319_A.1"; | _ -> assert false in let () = match t319_B, t_orig319_B with @@ -8446,7 +8446,7 @@ check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~mes | _ -> assert false in let () = match t321_B, t_orig321_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t321_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t321_B.0"; | _ -> assert false in let () = match t322_A, t_orig322_A with @@ -8464,7 +8464,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t323_A, t_orig323_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t323_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t323_A.0"; | _ -> assert false in let () = match t323_B, t_orig323_B with @@ -8491,7 +8491,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t325_A, t_orig325_A with | A (a0,a1), A (b0,b1) -> check_string a0 b0 ~message:"t325_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t325_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t325_A.1"; | _ -> assert false in let () = match t325_B, t_orig325_B with @@ -8535,11 +8535,11 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t329_B, t_orig329_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t329_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t329_B.0"; | _ -> assert false in let () = match t330_A, t_orig330_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t330_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t330_A.0"; | _ -> assert false in let () = match t330_B, t_orig330_B with @@ -8570,7 +8570,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t332_A, t_orig332_A with | A (a0,a1), A (b0,b1) -> check_string a0 b0 ~message:"t332_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t332_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t332_A.1"; | _ -> assert false in let () = match t332_B, t_orig332_B with @@ -8602,7 +8602,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co in let () = match t335_A, t_orig335_A with | A (a0,a1), A (b0,b1) -> check_float a0 b0 ~message:"t335_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t335_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t335_A.1"; in let () = match t336_A, t_orig336_A with @@ -8637,11 +8637,11 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t338_A, t_orig338_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t338_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t338_A.0"; | _ -> assert false in let () = match t338_B, t_orig338_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t338_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t338_B.0"; | _ -> assert false in let () = match t339_A, t_orig339_A with @@ -8660,7 +8660,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t340_A, t_orig340_A with | A (a0,a1), A (b0,b1) -> check_string a0 b0 ~message:"t340_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t340_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t340_A.1"; | _ -> assert false in let () = match t340_B, t_orig340_B with @@ -8700,7 +8700,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co in let () = match t343_A, t_orig343_A with | A (a0,a1), A (b0,b1) -> check_float a0 b0 ~message:"t343_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t343_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t343_A.1"; | _ -> assert false in let () = match t343_B, t_orig343_B with @@ -8717,7 +8717,7 @@ check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 a1) (Stdlib_upstream_co | _ -> assert false in let () = match t345_B, t_orig345_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t345_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t345_B.0"; | _ -> assert false in let () = match t345_C, t_orig345_C with @@ -8743,7 +8743,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t347_A, t_orig347_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t347_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t347_A.0"; | _ -> assert false in let () = match t347_B, t_orig347_B with @@ -8761,12 +8761,12 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t348_B, t_orig348_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t348_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t348_B.0"; | _ -> assert false in let () = match t349_A, t_orig349_A with | A (a0,a1), A (b0,b1) -> check_string a0 b0 ~message:"t349_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t349_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t349_A.1"; | _ -> assert false in let () = match t349_B, t_orig349_B with @@ -8807,7 +8807,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t352_A, t_orig352_A with | A (a0,a1), A (b0,b1) -> check_float a0 b0 ~message:"t352_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t352_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t352_A.1"; | _ -> assert false in let () = match t352_B, t_orig352_B with @@ -8846,7 +8846,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t356_B, t_orig356_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t356_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t356_B.0"; | _ -> assert false in let () = match t356_C, t_orig356_C with @@ -8854,7 +8854,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t357_A, t_orig357_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t357_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t357_A.0"; | _ -> assert false in let () = match t357_B, t_orig357_B with @@ -8886,11 +8886,11 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t359_A, t_orig359_A with | A (a0,a1), A (b0,b1) -> check_string a0 b0 ~message:"t359_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t359_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t359_A.1"; | _ -> assert false in let () = match t359_B, t_orig359_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t359_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t359_B.0"; | _ -> assert false in let () = match t360_A, t_orig360_A with @@ -8926,7 +8926,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co in let () = match t362_A, t_orig362_A with | A (a0,a1), A (b0,b1) -> check_float a0 b0 ~message:"t362_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t362_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t362_A.1"; | _ -> assert false in let () = match t362_B, t_orig362_B with @@ -8992,11 +8992,11 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t368_A, t_orig368_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t368_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t368_A.0"; | _ -> assert false in let () = match t368_B, t_orig368_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t368_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t368_B.0"; | _ -> assert false in let () = match t368_C, t_orig368_C with @@ -9023,7 +9023,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t370_A, t_orig370_A with | A (a0,a1), A (b0,b1) -> check_string a0 b0 ~message:"t370_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t370_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t370_A.1"; | _ -> assert false in let () = match t370_B, t_orig370_B with @@ -9040,7 +9040,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t371_B, t_orig371_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t371_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t371_B.0"; | _ -> assert false in let () = match t372_A, t_orig372_A with @@ -9060,7 +9060,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t373_A, t_orig373_A with | A (a0,a1), A (b0,b1) -> check_float a0 b0 ~message:"t373_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t373_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t373_A.1"; | _ -> assert false in let () = match t373_B, t_orig373_B with @@ -9110,7 +9110,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co let () = match t377_A, t_orig377_A with | A (a0,a1,a2), A (b0,b1,b2) -> check_string a0 b0 ~message:"t377_A.0"; check_string a1 b1 ~message:"t377_A.1"; -check_float32 (Beta.Float32_u.to_float32 a2) (Beta.Float32_u.to_float32 b2) ~message:"t377_A.2"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a2) (Stdlib_beta.Float32_u.to_float32 b2) ~message:"t377_A.2"; in let () = match t378_A, t_orig378_A with @@ -9149,7 +9149,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t380_A, t_orig380_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t380_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t380_A.0"; | _ -> assert false in let () = match t380_B, t_orig380_B with @@ -9163,7 +9163,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t381_B, t_orig381_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t381_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t381_B.0"; | _ -> assert false in let () = match t381_C, t_orig381_C with @@ -9172,7 +9172,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t382_A, t_orig382_A with | A (a0,a1), A (b0,b1) -> check_string a0 b0 ~message:"t382_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t382_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t382_A.1"; | _ -> assert false in let () = match t382_B, t_orig382_B with @@ -9208,12 +9208,12 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co | _ -> assert false in let () = match t384_B, t_orig384_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t384_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t384_B.0"; | _ -> assert false in let () = match t385_A, t_orig385_A with | A (a0,a1), A (b0,b1) -> check_float a0 b0 ~message:"t385_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t385_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t385_A.1"; | _ -> assert false in let () = match t385_B, t_orig385_B with @@ -9268,7 +9268,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co let () = match t389_A, t_orig389_A with | A (a0,a1,a2), A (b0,b1,b2) -> check_string a0 b0 ~message:"t389_A.0"; check_string a1 b1 ~message:"t389_A.1"; -check_float32 (Beta.Float32_u.to_float32 a2) (Beta.Float32_u.to_float32 b2) ~message:"t389_A.2"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a2) (Stdlib_beta.Float32_u.to_float32 b2) ~message:"t389_A.2"; | _ -> assert false in let () = match t389_B, t_orig389_B with @@ -9285,7 +9285,7 @@ check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 a1) (Stdlib_upstream_co | _ -> assert false in let () = match t391_B, t_orig391_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t391_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t391_B.0"; | _ -> assert false in let () = match t391_C, t_orig391_C with @@ -9312,7 +9312,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t393_A, t_orig393_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t393_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t393_A.0"; | _ -> assert false in let () = match t393_B, t_orig393_B with @@ -9343,11 +9343,11 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t395_A, t_orig395_A with | A (a0,a1), A (b0,b1) -> check_string a0 b0 ~message:"t395_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t395_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t395_A.1"; | _ -> assert false in let () = match t395_B, t_orig395_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t395_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t395_B.0"; | _ -> assert false in let () = match t395_C, t_orig395_C with @@ -9388,11 +9388,11 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t398_A, t_orig398_A with | A (a0,a1), A (b0,b1) -> check_float a0 b0 ~message:"t398_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t398_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t398_A.1"; | _ -> assert false in let () = match t398_B, t_orig398_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t398_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t398_B.0"; | _ -> assert false in let () = match t399_A, t_orig399_A with @@ -9439,7 +9439,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co let () = match t402_A, t_orig402_A with | A (a0,a1,a2), A (b0,b1,b2) -> check_string a0 b0 ~message:"t402_A.0"; check_string a1 b1 ~message:"t402_A.1"; -check_float32 (Beta.Float32_u.to_float32 a2) (Beta.Float32_u.to_float32 b2) ~message:"t402_A.2"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a2) (Stdlib_beta.Float32_u.to_float32 b2) ~message:"t402_A.2"; | _ -> assert false in let () = match t402_B, t_orig402_B with @@ -9483,7 +9483,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t406_B, t_orig406_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t406_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t406_B.0"; | _ -> assert false in let () = match t406_C, t_orig406_C with @@ -9495,7 +9495,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t407_A, t_orig407_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t407_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t407_A.0"; | _ -> assert false in let () = match t407_B, t_orig407_B with @@ -9531,7 +9531,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t409_A, t_orig409_A with | A (a0,a1), A (b0,b1) -> check_string a0 b0 ~message:"t409_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t409_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t409_A.1"; | _ -> assert false in let () = match t409_B, t_orig409_B with @@ -9544,7 +9544,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t410_B, t_orig410_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t410_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t410_B.0"; | _ -> assert false in let () = match t410_C, t_orig410_C with @@ -9572,7 +9572,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t412_A, t_orig412_A with | A (a0,a1), A (b0,b1) -> check_float a0 b0 ~message:"t412_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t412_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t412_A.1"; | _ -> assert false in let () = match t412_B, t_orig412_B with @@ -9590,7 +9590,7 @@ check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 a1) (Stdlib_upstream_co | _ -> assert false in let () = match t413_B, t_orig413_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t413_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t413_B.0"; | _ -> assert false in let () = match t414_A, t_orig414_A with @@ -9627,7 +9627,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co let () = match t416_A, t_orig416_A with | A (a0,a1,a2), A (b0,b1,b2) -> check_string a0 b0 ~message:"t416_A.0"; check_string a1 b1 ~message:"t416_A.1"; -check_float32 (Beta.Float32_u.to_float32 a2) (Beta.Float32_u.to_float32 b2) ~message:"t416_A.2"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a2) (Stdlib_beta.Float32_u.to_float32 b2) ~message:"t416_A.2"; | _ -> assert false in let () = match t416_B, t_orig416_B with @@ -9667,7 +9667,7 @@ check_int64 (Stdlib_upstream_compatible.Int64_u.to_int64 a1) (Stdlib_upstream_co in let () = match t420_B, t_orig420_B with | B (a0,a1), B (b0,b1) -> check_string a0 b0 ~message:"t420_B.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t420_B.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t420_B.1"; | _ -> assert false in let () = match t421_A, t_orig421_A with @@ -9685,11 +9685,11 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t422_A, t_orig422_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t422_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t422_A.0"; | _ -> assert false in let () = match t422_B, t_orig422_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t422_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t422_B.0"; | _ -> assert false in let () = match t422_C, t_orig422_C with @@ -9717,7 +9717,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t424_A, t_orig424_A with | A (a0,a1), A (b0,b1) -> check_string a0 b0 ~message:"t424_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t424_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t424_A.1"; | _ -> assert false in let () = match t424_B, t_orig424_B with @@ -9752,7 +9752,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co | _ -> assert false in let () = match t426_B, t_orig426_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t426_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t426_B.0"; | _ -> assert false in let () = match t426_C, t_orig426_C with @@ -9761,7 +9761,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co in let () = match t427_A, t_orig427_A with | A (a0,a1), A (b0,b1) -> check_float a0 b0 ~message:"t427_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t427_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t427_A.1"; | _ -> assert false in let () = match t427_B, t_orig427_B with @@ -9796,7 +9796,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t429_B, t_orig429_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t429_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t429_B.0"; | _ -> assert false in let () = match t430_A, t_orig430_A with @@ -9817,7 +9817,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co let () = match t431_A, t_orig431_A with | A (a0,a1,a2), A (b0,b1,b2) -> check_string a0 b0 ~message:"t431_A.0"; check_string a1 b1 ~message:"t431_A.1"; -check_float32 (Beta.Float32_u.to_float32 a2) (Beta.Float32_u.to_float32 b2) ~message:"t431_A.2"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a2) (Stdlib_beta.Float32_u.to_float32 b2) ~message:"t431_A.2"; | _ -> assert false in let () = match t431_B, t_orig431_B with @@ -9893,11 +9893,11 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t437_B, t_orig437_B with | B (a0,a1), B (b0,b1) -> check_string a0 b0 ~message:"t437_B.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t437_B.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t437_B.1"; | _ -> assert false in let () = match t438_A, t_orig438_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t438_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t438_A.0"; | _ -> assert false in let () = match t438_B, t_orig438_B with @@ -9915,7 +9915,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t439_B, t_orig439_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t439_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t439_B.0"; | _ -> assert false in let () = match t439_C, t_orig439_C with @@ -9928,7 +9928,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t440_A, t_orig440_A with | A (a0,a1), A (b0,b1) -> check_string a0 b0 ~message:"t440_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t440_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t440_A.1"; | _ -> assert false in let () = match t440_B, t_orig440_B with @@ -9974,11 +9974,11 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t443_A, t_orig443_A with | A (a0,a1), A (b0,b1) -> check_float a0 b0 ~message:"t443_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t443_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t443_A.1"; | _ -> assert false in let () = match t443_B, t_orig443_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t443_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t443_B.0"; | _ -> assert false in let () = match t443_C, t_orig443_C with @@ -10023,13 +10023,13 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co | _ -> assert false in let () = match t446_B, t_orig446_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t446_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t446_B.0"; | _ -> assert false in let () = match t447_A, t_orig447_A with | A (a0,a1,a2), A (b0,b1,b2) -> check_string a0 b0 ~message:"t447_A.0"; check_string a1 b1 ~message:"t447_A.1"; -check_float32 (Beta.Float32_u.to_float32 a2) (Beta.Float32_u.to_float32 b2) ~message:"t447_A.2"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a2) (Stdlib_beta.Float32_u.to_float32 b2) ~message:"t447_A.2"; | _ -> assert false in let () = match t447_B, t_orig447_B with @@ -10093,7 +10093,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co let () = match t452_A, t_orig452_A with | A (a0,a1,a2), A (b0,b1,b2) -> check_float a0 b0 ~message:"t452_A.0"; check_string a1 b1 ~message:"t452_A.1"; -check_float32 (Beta.Float32_u.to_float32 a2) (Beta.Float32_u.to_float32 b2) ~message:"t452_A.2"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a2) (Stdlib_beta.Float32_u.to_float32 b2) ~message:"t452_A.2"; in let () = match t453_A, t_orig453_A with @@ -10136,12 +10136,12 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t455_A, t_orig455_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t455_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t455_A.0"; | _ -> assert false in let () = match t455_B, t_orig455_B with | B (a0,a1), B (b0,b1) -> check_string a0 b0 ~message:"t455_B.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t455_B.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t455_B.1"; | _ -> assert false in let () = match t456_A, t_orig456_A with @@ -10160,11 +10160,11 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t457_A, t_orig457_A with | A (a0,a1), A (b0,b1) -> check_string a0 b0 ~message:"t457_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t457_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t457_A.1"; | _ -> assert false in let () = match t457_B, t_orig457_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t457_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t457_B.0"; | _ -> assert false in let () = match t457_C, t_orig457_C with @@ -10213,7 +10213,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co in let () = match t460_A, t_orig460_A with | A (a0,a1), A (b0,b1) -> check_float a0 b0 ~message:"t460_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t460_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t460_A.1"; | _ -> assert false in let () = match t460_B, t_orig460_B with @@ -10227,7 +10227,7 @@ check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 a1) (Stdlib_upstream_co | _ -> assert false in let () = match t461_B, t_orig461_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t461_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t461_B.0"; | _ -> assert false in let () = match t461_C, t_orig461_C with @@ -10269,11 +10269,11 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co let () = match t464_A, t_orig464_A with | A (a0,a1,a2), A (b0,b1,b2) -> check_string a0 b0 ~message:"t464_A.0"; check_string a1 b1 ~message:"t464_A.1"; -check_float32 (Beta.Float32_u.to_float32 a2) (Beta.Float32_u.to_float32 b2) ~message:"t464_A.2"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a2) (Stdlib_beta.Float32_u.to_float32 b2) ~message:"t464_A.2"; | _ -> assert false in let () = match t464_B, t_orig464_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t464_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t464_B.0"; | _ -> assert false in let () = match t465_A, t_orig465_A with @@ -10333,7 +10333,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co let () = match t469_A, t_orig469_A with | A (a0,a1,a2), A (b0,b1,b2) -> check_float a0 b0 ~message:"t469_A.0"; check_string a1 b1 ~message:"t469_A.1"; -check_float32 (Beta.Float32_u.to_float32 a2) (Beta.Float32_u.to_float32 b2) ~message:"t469_A.2"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a2) (Stdlib_beta.Float32_u.to_float32 b2) ~message:"t469_A.2"; | _ -> assert false in let () = match t469_B, t_orig469_B with @@ -10351,7 +10351,7 @@ check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 a2) (Stdlib_upstream_co | _ -> assert false in let () = match t471_B, t_orig471_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t471_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t471_B.0"; | _ -> assert false in let () = match t471_C, t_orig471_C with @@ -10382,7 +10382,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t473_A, t_orig473_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t473_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t473_A.0"; | _ -> assert false in let () = match t473_B, t_orig473_B with @@ -10405,12 +10405,12 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t474_B, t_orig474_B with | B (a0,a1), B (b0,b1) -> check_string a0 b0 ~message:"t474_B.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t474_B.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t474_B.1"; | _ -> assert false in let () = match t475_A, t_orig475_A with | A (a0,a1), A (b0,b1) -> check_string a0 b0 ~message:"t475_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t475_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t475_A.1"; | _ -> assert false in let () = match t475_B, t_orig475_B with @@ -10427,7 +10427,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t476_B, t_orig476_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t476_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t476_B.0"; | _ -> assert false in let () = match t476_C, t_orig476_C with @@ -10456,7 +10456,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t478_A, t_orig478_A with | A (a0,a1), A (b0,b1) -> check_float a0 b0 ~message:"t478_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t478_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t478_A.1"; | _ -> assert false in let () = match t478_B, t_orig478_B with @@ -10490,7 +10490,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t480_B, t_orig480_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t480_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t480_B.0"; | _ -> assert false in let () = match t480_C, t_orig480_C with @@ -10519,7 +10519,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co let () = match t482_A, t_orig482_A with | A (a0,a1,a2), A (b0,b1,b2) -> check_string a0 b0 ~message:"t482_A.0"; check_string a1 b1 ~message:"t482_A.1"; -check_float32 (Beta.Float32_u.to_float32 a2) (Beta.Float32_u.to_float32 b2) ~message:"t482_A.2"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a2) (Stdlib_beta.Float32_u.to_float32 b2) ~message:"t482_A.2"; | _ -> assert false in let () = match t482_B, t_orig482_B with @@ -10537,7 +10537,7 @@ check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 a1) (Stdlib_upstream_co | _ -> assert false in let () = match t483_B, t_orig483_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t483_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t483_B.0"; | _ -> assert false in let () = match t484_A, t_orig484_A with @@ -10584,7 +10584,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co let () = match t487_A, t_orig487_A with | A (a0,a1,a2), A (b0,b1,b2) -> check_float a0 b0 ~message:"t487_A.0"; check_string a1 b1 ~message:"t487_A.1"; -check_float32 (Beta.Float32_u.to_float32 a2) (Beta.Float32_u.to_float32 b2) ~message:"t487_A.2"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a2) (Stdlib_beta.Float32_u.to_float32 b2) ~message:"t487_A.2"; | _ -> assert false in let () = match t487_B, t_orig487_B with @@ -10633,7 +10633,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t491_B, t_orig491_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t491_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t491_B.0"; | _ -> assert false in let () = match t491_C, t_orig491_C with @@ -10642,7 +10642,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t492_A, t_orig492_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t492_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t492_A.0"; | _ -> assert false in let () = match t492_B, t_orig492_B with @@ -10682,12 +10682,12 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t494_A, t_orig494_A with | A (a0,a1), A (b0,b1) -> check_string a0 b0 ~message:"t494_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t494_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t494_A.1"; | _ -> assert false in let () = match t494_B, t_orig494_B with | B (a0,a1), B (b0,b1) -> check_string a0 b0 ~message:"t494_B.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t494_B.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t494_B.1"; | _ -> assert false in let () = match t495_A, t_orig495_A with @@ -10710,7 +10710,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co | _ -> assert false in let () = match t496_B, t_orig496_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t496_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t496_B.0"; | _ -> assert false in let () = match t496_C, t_orig496_C with @@ -10723,7 +10723,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co in let () = match t497_A, t_orig497_A with | A (a0,a1), A (b0,b1) -> check_float a0 b0 ~message:"t497_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t497_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t497_A.1"; | _ -> assert false in let () = match t497_B, t_orig497_B with @@ -10773,7 +10773,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co | _ -> assert false in let () = match t500_B, t_orig500_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t500_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t500_B.0"; | _ -> assert false in let () = match t500_C, t_orig500_C with @@ -10783,7 +10783,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co let () = match t501_A, t_orig501_A with | A (a0,a1,a2), A (b0,b1,b2) -> check_string a0 b0 ~message:"t501_A.0"; check_string a1 b1 ~message:"t501_A.1"; -check_float32 (Beta.Float32_u.to_float32 a2) (Beta.Float32_u.to_float32 b2) ~message:"t501_A.2"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a2) (Stdlib_beta.Float32_u.to_float32 b2) ~message:"t501_A.2"; | _ -> assert false in let () = match t501_B, t_orig501_B with @@ -10819,7 +10819,7 @@ check_int64 (Stdlib_upstream_compatible.Int64_u.to_int64 a1) (Stdlib_upstream_co | _ -> assert false in let () = match t503_B, t_orig503_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t503_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t503_B.0"; | _ -> assert false in let () = match t504_A, t_orig504_A with @@ -10856,7 +10856,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co let () = match t506_A, t_orig506_A with | A (a0,a1,a2), A (b0,b1,b2) -> check_float a0 b0 ~message:"t506_A.0"; check_string a1 b1 ~message:"t506_A.1"; -check_float32 (Beta.Float32_u.to_float32 a2) (Beta.Float32_u.to_float32 b2) ~message:"t506_A.2"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a2) (Stdlib_beta.Float32_u.to_float32 b2) ~message:"t506_A.2"; | _ -> assert false in let () = match t506_B, t_orig506_B with @@ -10898,7 +10898,7 @@ check_int (Stdlib_upstream_compatible.Nativeint_u.to_int a1) (Stdlib_upstream_co in let () = match t510_B, t_orig510_B with | B (a0,a1), B (b0,b1) -> check_string a0 b0 ~message:"t510_B.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t510_B.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t510_B.1"; | _ -> assert false in let () = match t510_C, t_orig510_C with @@ -10924,11 +10924,11 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t512_A, t_orig512_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t512_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t512_A.0"; | _ -> assert false in let () = match t512_B, t_orig512_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t512_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t512_B.0"; | _ -> assert false in let () = match t512_C, t_orig512_C with @@ -10960,7 +10960,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t514_A, t_orig514_A with | A (a0,a1), A (b0,b1) -> check_string a0 b0 ~message:"t514_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t514_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t514_A.1"; | _ -> assert false in let () = match t514_B, t_orig514_B with @@ -10982,7 +10982,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t515_B, t_orig515_B with | B (a0,a1), B (b0,b1) -> check_string a0 b0 ~message:"t515_B.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t515_B.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t515_B.1"; | _ -> assert false in let () = match t516_A, t_orig516_A with @@ -11002,11 +11002,11 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t517_A, t_orig517_A with | A (a0,a1), A (b0,b1) -> check_float a0 b0 ~message:"t517_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t517_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t517_A.1"; | _ -> assert false in let () = match t517_B, t_orig517_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t517_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t517_B.0"; | _ -> assert false in let () = match t517_C, t_orig517_C with @@ -11066,11 +11066,11 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co let () = match t521_A, t_orig521_A with | A (a0,a1,a2), A (b0,b1,b2) -> check_string a0 b0 ~message:"t521_A.0"; check_string a1 b1 ~message:"t521_A.1"; -check_float32 (Beta.Float32_u.to_float32 a2) (Beta.Float32_u.to_float32 b2) ~message:"t521_A.2"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a2) (Stdlib_beta.Float32_u.to_float32 b2) ~message:"t521_A.2"; | _ -> assert false in let () = match t521_B, t_orig521_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t521_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t521_B.0"; | _ -> assert false in let () = match t521_C, t_orig521_C with @@ -11114,7 +11114,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t524_B, t_orig524_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t524_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t524_B.0"; | _ -> assert false in let () = match t525_A, t_orig525_A with @@ -11135,7 +11135,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co let () = match t526_A, t_orig526_A with | A (a0,a1,a2), A (b0,b1,b2) -> check_float a0 b0 ~message:"t526_A.0"; check_string a1 b1 ~message:"t526_A.1"; -check_float32 (Beta.Float32_u.to_float32 a2) (Beta.Float32_u.to_float32 b2) ~message:"t526_A.2"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a2) (Stdlib_beta.Float32_u.to_float32 b2) ~message:"t526_A.2"; | _ -> assert false in let () = match t526_B, t_orig526_B with @@ -11203,7 +11203,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t532_B, t_orig532_B with | B (a0,a1), B (b0,b1) -> check_string a0 b0 ~message:"t532_B.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t532_B.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t532_B.1"; | _ -> assert false in let () = match t532_C, t_orig532_C with @@ -11211,7 +11211,7 @@ check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~mes | _ -> assert false in let () = match t533_A, t_orig533_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t533_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t533_A.0"; | _ -> assert false in let () = match t533_B, t_orig533_B with @@ -11233,7 +11233,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t534_B, t_orig534_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t534_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t534_B.0"; | _ -> assert false in let () = match t534_C, t_orig534_C with @@ -11243,7 +11243,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t535_A, t_orig535_A with | A (a0,a1), A (b0,b1) -> check_string a0 b0 ~message:"t535_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t535_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t535_A.1"; | _ -> assert false in let () = match t535_B, t_orig535_B with @@ -11288,12 +11288,12 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co in let () = match t537_B, t_orig537_B with | B (a0,a1), B (b0,b1) -> check_string a0 b0 ~message:"t537_B.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t537_B.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t537_B.1"; | _ -> assert false in let () = match t538_A, t_orig538_A with | A (a0,a1), A (b0,b1) -> check_float a0 b0 ~message:"t538_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t538_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t538_A.1"; | _ -> assert false in let () = match t538_B, t_orig538_B with @@ -11311,7 +11311,7 @@ check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 a1) (Stdlib_upstream_co | _ -> assert false in let () = match t539_B, t_orig539_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t539_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t539_B.0"; | _ -> assert false in let () = match t539_C, t_orig539_C with @@ -11361,7 +11361,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co let () = match t542_A, t_orig542_A with | A (a0,a1,a2), A (b0,b1,b2) -> check_string a0 b0 ~message:"t542_A.0"; check_string a1 b1 ~message:"t542_A.1"; -check_float32 (Beta.Float32_u.to_float32 a2) (Beta.Float32_u.to_float32 b2) ~message:"t542_A.2"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a2) (Stdlib_beta.Float32_u.to_float32 b2) ~message:"t542_A.2"; | _ -> assert false in let () = match t542_B, t_orig542_B with @@ -11375,7 +11375,7 @@ check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 a1) (Stdlib_upstream_co | _ -> assert false in let () = match t543_B, t_orig543_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t543_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t543_B.0"; | _ -> assert false in let () = match t543_C, t_orig543_C with @@ -11420,13 +11420,13 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co | _ -> assert false in let () = match t546_B, t_orig546_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t546_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t546_B.0"; | _ -> assert false in let () = match t547_A, t_orig547_A with | A (a0,a1,a2), A (b0,b1,b2) -> check_float a0 b0 ~message:"t547_A.0"; check_string a1 b1 ~message:"t547_A.1"; -check_float32 (Beta.Float32_u.to_float32 a2) (Beta.Float32_u.to_float32 b2) ~message:"t547_A.2"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a2) (Stdlib_beta.Float32_u.to_float32 b2) ~message:"t547_A.2"; | _ -> assert false in let () = match t547_B, t_orig547_B with @@ -11503,7 +11503,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co | _ -> assert false in let () = match t553_C, t_orig553_C with - | C (a0), C (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t553_C.0"; + | C (a0), C (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t553_C.0"; | _ -> assert false in let () = match t554_A, t_orig554_A with @@ -11516,12 +11516,12 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t555_A, t_orig555_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t555_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t555_A.0"; | _ -> assert false in let () = match t555_B, t_orig555_B with | B (a0,a1), B (b0,b1) -> check_string a0 b0 ~message:"t555_B.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t555_B.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t555_B.1"; | _ -> assert false in let () = match t555_C, t_orig555_C with @@ -11548,11 +11548,11 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t557_A, t_orig557_A with | A (a0,a1), A (b0,b1) -> check_string a0 b0 ~message:"t557_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t557_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t557_A.1"; | _ -> assert false in let () = match t557_B, t_orig557_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t557_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t557_B.0"; | _ -> assert false in let () = match t557_C, t_orig557_C with @@ -11602,12 +11602,12 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t560_A, t_orig560_A with | A (a0,a1), A (b0,b1) -> check_float a0 b0 ~message:"t560_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t560_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t560_A.1"; | _ -> assert false in let () = match t560_B, t_orig560_B with | B (a0,a1), B (b0,b1) -> check_string a0 b0 ~message:"t560_B.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t560_B.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t560_B.1"; | _ -> assert false in let () = match t561_A, t_orig561_A with @@ -11629,7 +11629,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t562_B, t_orig562_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t562_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t562_B.0"; | _ -> assert false in let () = match t562_C, t_orig562_C with @@ -11659,7 +11659,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co let () = match t564_A, t_orig564_A with | A (a0,a1,a2), A (b0,b1,b2) -> check_string a0 b0 ~message:"t564_A.0"; check_string a1 b1 ~message:"t564_A.1"; -check_float32 (Beta.Float32_u.to_float32 a2) (Beta.Float32_u.to_float32 b2) ~message:"t564_A.2"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a2) (Stdlib_beta.Float32_u.to_float32 b2) ~message:"t564_A.2"; | _ -> assert false in let () = match t564_B, t_orig564_B with @@ -11694,7 +11694,7 @@ check_int64 (Stdlib_upstream_compatible.Int64_u.to_int64 a1) (Stdlib_upstream_co | _ -> assert false in let () = match t566_B, t_orig566_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t566_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t566_B.0"; | _ -> assert false in let () = match t566_C, t_orig566_C with @@ -11736,11 +11736,11 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co let () = match t569_A, t_orig569_A with | A (a0,a1,a2), A (b0,b1,b2) -> check_float a0 b0 ~message:"t569_A.0"; check_string a1 b1 ~message:"t569_A.1"; -check_float32 (Beta.Float32_u.to_float32 a2) (Beta.Float32_u.to_float32 b2) ~message:"t569_A.2"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a2) (Stdlib_beta.Float32_u.to_float32 b2) ~message:"t569_A.2"; | _ -> assert false in let () = match t569_B, t_orig569_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t569_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t569_B.0"; | _ -> assert false in let () = match t570_A, t_orig570_A with @@ -11811,7 +11811,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co let () = match t575_A, t_orig575_A with | A (a0,a1,a2), A (b0,b1,b2) -> check_int a0 b0 ~message:"t575_A.0"; check_string a1 b1 ~message:"t575_A.1"; -check_float32 (Beta.Float32_u.to_float32 a2) (Beta.Float32_u.to_float32 b2) ~message:"t575_A.2"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a2) (Stdlib_beta.Float32_u.to_float32 b2) ~message:"t575_A.2"; in let () = match t576_A, t_orig576_A with @@ -11842,11 +11842,11 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t577_C, t_orig577_C with - | C (a0), C (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t577_C.0"; + | C (a0), C (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t577_C.0"; | _ -> assert false in let () = match t578_A, t_orig578_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t578_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t578_A.0"; | _ -> assert false in let () = match t578_B, t_orig578_B with @@ -11860,7 +11860,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t579_B, t_orig579_B with | B (a0,a1), B (b0,b1) -> check_string a0 b0 ~message:"t579_B.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t579_B.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t579_B.1"; | _ -> assert false in let () = match t579_C, t_orig579_C with @@ -11869,7 +11869,7 @@ check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~mes in let () = match t580_A, t_orig580_A with | A (a0,a1), A (b0,b1) -> check_string a0 b0 ~message:"t580_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t580_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t580_A.1"; | _ -> assert false in let () = match t580_B, t_orig580_B with @@ -11890,7 +11890,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t581_B, t_orig581_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t581_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t581_B.0"; | _ -> assert false in let () = match t581_C, t_orig581_C with @@ -11923,7 +11923,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t583_A, t_orig583_A with | A (a0,a1), A (b0,b1) -> check_float a0 b0 ~message:"t583_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t583_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t583_A.1"; | _ -> assert false in let () = match t583_B, t_orig583_B with @@ -11946,7 +11946,7 @@ check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 a1) (Stdlib_upstream_co in let () = match t584_B, t_orig584_B with | B (a0,a1), B (b0,b1) -> check_string a0 b0 ~message:"t584_B.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t584_B.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t584_B.1"; | _ -> assert false in let () = match t585_A, t_orig585_A with @@ -11969,7 +11969,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co | _ -> assert false in let () = match t586_B, t_orig586_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t586_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t586_B.0"; | _ -> assert false in let () = match t586_C, t_orig586_C with @@ -11983,7 +11983,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co let () = match t587_A, t_orig587_A with | A (a0,a1,a2), A (b0,b1,b2) -> check_string a0 b0 ~message:"t587_A.0"; check_string a1 b1 ~message:"t587_A.1"; -check_float32 (Beta.Float32_u.to_float32 a2) (Beta.Float32_u.to_float32 b2) ~message:"t587_A.2"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a2) (Stdlib_beta.Float32_u.to_float32 b2) ~message:"t587_A.2"; | _ -> assert false in let () = match t587_B, t_orig587_B with @@ -12032,7 +12032,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t590_B, t_orig590_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t590_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t590_B.0"; | _ -> assert false in let () = match t590_C, t_orig590_C with @@ -12061,7 +12061,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co let () = match t592_A, t_orig592_A with | A (a0,a1,a2), A (b0,b1,b2) -> check_float a0 b0 ~message:"t592_A.0"; check_string a1 b1 ~message:"t592_A.1"; -check_float32 (Beta.Float32_u.to_float32 a2) (Beta.Float32_u.to_float32 b2) ~message:"t592_A.2"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a2) (Stdlib_beta.Float32_u.to_float32 b2) ~message:"t592_A.2"; | _ -> assert false in let () = match t592_B, t_orig592_B with @@ -12080,7 +12080,7 @@ check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 a2) (Stdlib_upstream_co | _ -> assert false in let () = match t593_B, t_orig593_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t593_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t593_B.0"; | _ -> assert false in let () = match t594_A, t_orig594_A with @@ -12141,7 +12141,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co let () = match t598_A, t_orig598_A with | A (a0,a1,a2), A (b0,b1,b2) -> check_int a0 b0 ~message:"t598_A.0"; check_string a1 b1 ~message:"t598_A.1"; -check_float32 (Beta.Float32_u.to_float32 a2) (Beta.Float32_u.to_float32 b2) ~message:"t598_A.2"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a2) (Stdlib_beta.Float32_u.to_float32 b2) ~message:"t598_A.2"; | _ -> assert false in let () = match t598_B, t_orig598_B with diff --git a/ocaml/testsuite/tests/mixed-blocks/generated_native_test.ml b/ocaml/testsuite/tests/mixed-blocks/generated_native_test.ml index d3fe16565a8..c4c0d133d39 100644 --- a/ocaml/testsuite/tests/mixed-blocks/generated_native_test.ml +++ b/ocaml/testsuite/tests/mixed-blocks/generated_native_test.ml @@ -1,6 +1,6 @@ (* TEST flags = "-extension layouts_beta -extension small_numbers"; - include beta; + include stdlib_beta; include stdlib_upstream_compatible; flambda2; native; @@ -11,9 +11,9 @@ let create_string () = String.make (Random.int 100) 'a' let create_int () = Random.int 0x3FFF_FFFF let create_float () = Random.float Float.max_float -let create_float32 () = Beta.Float32.of_float (Random.float Float.max_float) +let create_float32 () = Stdlib_beta.Float32.of_float (Random.float Float.max_float) let create_float_u () = Stdlib_upstream_compatible.Float_u.of_float (create_float ()) -let create_float32_u () = Beta.Float32_u.of_float32 (create_float32 ()) +let create_float32_u () = Stdlib_beta.Float32_u.of_float32 (create_float32 ()) let create_int32_u () = Stdlib_upstream_compatible.Int32_u.of_int32 (Random.int32 0x7FFF_FFFFl) let create_int64_u () = Stdlib_upstream_compatible.Int64_u.of_int64 (Random.int64 0x7FFF_FFFF_FFFF_FFFFL) let create_nativeint_u () = Stdlib_upstream_compatible.Nativeint_u.of_nativeint (Random.nativeint 0x7FFF_FFFF_FFFF_FFFFn) @@ -27,7 +27,7 @@ let check_int = check_gen ~equal:Int.equal ~to_string:Int.to_string let check_float = check_gen ~equal:Float.equal ~to_string:Float.to_string let check_float32 = - check_gen ~equal:Beta.Float32.equal ~to_string:Beta.Float32.to_string + check_gen ~equal:Stdlib_beta.Float32.equal ~to_string:Stdlib_beta.Float32.to_string let check_int32 = check_gen ~equal:Int32.equal ~to_string:Int32.to_string let check_int64 = @@ -1806,24 +1806,24 @@ let t_orig149_B = t149_B;; check_float (Stdlib_upstream_compatible.Float_u.to_float t19.float_u1) (Stdlib_upstream_compatible.Float_u.to_float t_orig19.float_u1) ~message:"t19.float_u1"; check_string t20.str0 t_orig20.str0 ~message:"t20.str0"; check_float (Stdlib_upstream_compatible.Float_u.to_float t20.float_u1) (Stdlib_upstream_compatible.Float_u.to_float t_orig20.float_u1) ~message:"t20.float_u1"; - check_float32 (Beta.Float32_u.to_float32 t21.float32_u0) (Beta.Float32_u.to_float32 t_orig21.float32_u0) ~message:"t21.float32_u0"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t21.float32_u0) (Stdlib_beta.Float32_u.to_float32 t_orig21.float32_u0) ~message:"t21.float32_u0"; check_string t22.str0 t_orig22.str0 ~message:"t22.str0"; check_float (Stdlib_upstream_compatible.Float_u.to_float t22.float_u1) (Stdlib_upstream_compatible.Float_u.to_float t_orig22.float_u1) ~message:"t22.float_u1"; check_string t23.str0 t_orig23.str0 ~message:"t23.str0"; - check_float32 (Beta.Float32_u.to_float32 t23.float32_u1) (Beta.Float32_u.to_float32 t_orig23.float32_u1) ~message:"t23.float32_u1"; - check_float32 (Beta.Float32_u.to_float32 t24.float32_u0) (Beta.Float32_u.to_float32 t_orig24.float32_u0) ~message:"t24.float32_u0"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t23.float32_u1) (Stdlib_beta.Float32_u.to_float32 t_orig23.float32_u1) ~message:"t23.float32_u1"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t24.float32_u0) (Stdlib_beta.Float32_u.to_float32 t_orig24.float32_u0) ~message:"t24.float32_u0"; check_string t25.str0 t_orig25.str0 ~message:"t25.str0"; - check_float32 (Beta.Float32_u.to_float32 t25.float32_u1) (Beta.Float32_u.to_float32 t_orig25.float32_u1) ~message:"t25.float32_u1"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t25.float32_u1) (Stdlib_beta.Float32_u.to_float32 t_orig25.float32_u1) ~message:"t25.float32_u1"; check_string t26.str0 t_orig26.str0 ~message:"t26.str0"; - check_float32 (Beta.Float32_u.to_float32 t26.float32_u1) (Beta.Float32_u.to_float32 t_orig26.float32_u1) ~message:"t26.float32_u1"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t26.float32_u1) (Stdlib_beta.Float32_u.to_float32 t_orig26.float32_u1) ~message:"t26.float32_u1"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t27.i32_0) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig27.i32_0) ~message:"t27.i32_0"; check_string t28.str0 t_orig28.str0 ~message:"t28.str0"; check_string t28.str1 t_orig28.str1 ~message:"t28.str1"; check_float (Stdlib_upstream_compatible.Float_u.to_float t28.float_u2) (Stdlib_upstream_compatible.Float_u.to_float t_orig28.float_u2) ~message:"t28.float_u2"; check_float t29.float0 t_orig29.float0 ~message:"t29.float0"; - check_float32 (Beta.Float32_u.to_float32 t29.float32_u1) (Beta.Float32_u.to_float32 t_orig29.float32_u1) ~message:"t29.float32_u1"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t29.float32_u1) (Stdlib_beta.Float32_u.to_float32 t_orig29.float32_u1) ~message:"t29.float32_u1"; check_string t30.str0 t_orig30.str0 ~message:"t30.str0"; - check_float32 (Beta.Float32_u.to_float32 t30.float32_u1) (Beta.Float32_u.to_float32 t_orig30.float32_u1) ~message:"t30.float32_u1"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t30.float32_u1) (Stdlib_beta.Float32_u.to_float32 t_orig30.float32_u1) ~message:"t30.float32_u1"; check_string t31.str0 t_orig31.str0 ~message:"t31.str0"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t31.i32_1) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig31.i32_1) ~message:"t31.i32_1"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t32.i32_0) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig32.i32_0) ~message:"t32.i32_0"; @@ -1834,9 +1834,9 @@ let t_orig149_B = t149_B;; check_string t34.str1 t_orig34.str1 ~message:"t34.str1"; check_float (Stdlib_upstream_compatible.Float_u.to_float t34.float_u2) (Stdlib_upstream_compatible.Float_u.to_float t_orig34.float_u2) ~message:"t34.float_u2"; check_float t35.float0 t_orig35.float0 ~message:"t35.float0"; - check_float32 (Beta.Float32_u.to_float32 t35.float32_u1) (Beta.Float32_u.to_float32 t_orig35.float32_u1) ~message:"t35.float32_u1"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t35.float32_u1) (Stdlib_beta.Float32_u.to_float32 t_orig35.float32_u1) ~message:"t35.float32_u1"; check_float t36.float0 t_orig36.float0 ~message:"t36.float0"; - check_float32 (Beta.Float32_u.to_float32 t36.float32_u1) (Beta.Float32_u.to_float32 t_orig36.float32_u1) ~message:"t36.float32_u1"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t36.float32_u1) (Stdlib_beta.Float32_u.to_float32 t_orig36.float32_u1) ~message:"t36.float32_u1"; check_string t37.str0 t_orig37.str0 ~message:"t37.str0"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t37.i32_1) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig37.i32_1) ~message:"t37.i32_1"; check_string t38.str0 t_orig38.str0 ~message:"t38.str0"; @@ -1850,9 +1850,9 @@ let t_orig149_B = t149_B;; check_float (Stdlib_upstream_compatible.Float_u.to_float t41.float_u2) (Stdlib_upstream_compatible.Float_u.to_float t_orig41.float_u2) ~message:"t41.float_u2"; check_string t42.str0 t_orig42.str0 ~message:"t42.str0"; check_string t42.str1 t_orig42.str1 ~message:"t42.str1"; - check_float32 (Beta.Float32_u.to_float32 t42.float32_u2) (Beta.Float32_u.to_float32 t_orig42.float32_u2) ~message:"t42.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t42.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig42.float32_u2) ~message:"t42.float32_u2"; check_float t43.float0 t_orig43.float0 ~message:"t43.float0"; - check_float32 (Beta.Float32_u.to_float32 t43.float32_u1) (Beta.Float32_u.to_float32 t_orig43.float32_u1) ~message:"t43.float32_u1"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t43.float32_u1) (Stdlib_beta.Float32_u.to_float32 t_orig43.float32_u1) ~message:"t43.float32_u1"; check_float t44.float0 t_orig44.float0 ~message:"t44.float0"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t44.i32_1) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig44.i32_1) ~message:"t44.i32_1"; check_string t45.str0 t_orig45.str0 ~message:"t45.str0"; @@ -1868,10 +1868,10 @@ let t_orig149_B = t149_B;; check_float (Stdlib_upstream_compatible.Float_u.to_float t49.float_u2) (Stdlib_upstream_compatible.Float_u.to_float t_orig49.float_u2) ~message:"t49.float_u2"; check_string t50.str0 t_orig50.str0 ~message:"t50.str0"; check_string t50.str1 t_orig50.str1 ~message:"t50.str1"; - check_float32 (Beta.Float32_u.to_float32 t50.float32_u2) (Beta.Float32_u.to_float32 t_orig50.float32_u2) ~message:"t50.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t50.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig50.float32_u2) ~message:"t50.float32_u2"; check_string t51.str0 t_orig51.str0 ~message:"t51.str0"; check_string t51.str1 t_orig51.str1 ~message:"t51.str1"; - check_float32 (Beta.Float32_u.to_float32 t51.float32_u2) (Beta.Float32_u.to_float32 t_orig51.float32_u2) ~message:"t51.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t51.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig51.float32_u2) ~message:"t51.float32_u2"; check_float t52.float0 t_orig52.float0 ~message:"t52.float0"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t52.i32_1) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig52.i32_1) ~message:"t52.i32_1"; check_float t53.float0 t_orig53.float0 ~message:"t53.float0"; @@ -1889,10 +1889,10 @@ let t_orig149_B = t149_B;; check_float (Stdlib_upstream_compatible.Float_u.to_float t58.float_u2) (Stdlib_upstream_compatible.Float_u.to_float t_orig58.float_u2) ~message:"t58.float_u2"; check_float t59.float0 t_orig59.float0 ~message:"t59.float0"; check_string t59.str1 t_orig59.str1 ~message:"t59.str1"; - check_float32 (Beta.Float32_u.to_float32 t59.float32_u2) (Beta.Float32_u.to_float32 t_orig59.float32_u2) ~message:"t59.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t59.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig59.float32_u2) ~message:"t59.float32_u2"; check_string t60.str0 t_orig60.str0 ~message:"t60.str0"; check_string t60.str1 t_orig60.str1 ~message:"t60.str1"; - check_float32 (Beta.Float32_u.to_float32 t60.float32_u2) (Beta.Float32_u.to_float32 t_orig60.float32_u2) ~message:"t60.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t60.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig60.float32_u2) ~message:"t60.float32_u2"; check_string t61.str0 t_orig61.str0 ~message:"t61.str0"; check_string t61.str1 t_orig61.str1 ~message:"t61.str1"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t61.i32_2) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig61.i32_2) ~message:"t61.i32_2"; @@ -1913,10 +1913,10 @@ let t_orig149_B = t149_B;; check_float (Stdlib_upstream_compatible.Float_u.to_float t68.float_u2) (Stdlib_upstream_compatible.Float_u.to_float t_orig68.float_u2) ~message:"t68.float_u2"; check_float t69.float0 t_orig69.float0 ~message:"t69.float0"; check_string t69.str1 t_orig69.str1 ~message:"t69.str1"; - check_float32 (Beta.Float32_u.to_float32 t69.float32_u2) (Beta.Float32_u.to_float32 t_orig69.float32_u2) ~message:"t69.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t69.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig69.float32_u2) ~message:"t69.float32_u2"; check_float t70.float0 t_orig70.float0 ~message:"t70.float0"; check_string t70.str1 t_orig70.str1 ~message:"t70.str1"; - check_float32 (Beta.Float32_u.to_float32 t70.float32_u2) (Beta.Float32_u.to_float32 t_orig70.float32_u2) ~message:"t70.float32_u2"; + check_float32 (Stdlib_beta.Float32_u.to_float32 t70.float32_u2) (Stdlib_beta.Float32_u.to_float32 t_orig70.float32_u2) ~message:"t70.float32_u2"; check_string t71.str0 t_orig71.str0 ~message:"t71.str0"; check_string t71.str1 t_orig71.str1 ~message:"t71.str1"; check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 t71.i32_2) (Stdlib_upstream_compatible.Int32_u.to_int32 t_orig71.i32_2) ~message:"t71.i32_2"; @@ -1966,7 +1966,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t80_A, t_orig80_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t80_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t80_A.0"; in let () = match t81_A, t_orig81_A with @@ -1992,7 +1992,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t83_A, t_orig83_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t83_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t83_A.0"; | _ -> assert false in let () = match t83_B, t_orig83_B with @@ -2031,7 +2031,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t87_A, t_orig87_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t87_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t87_A.0"; | _ -> assert false in let () = match t87_B, t_orig87_B with @@ -2053,7 +2053,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t89_A, t_orig89_A with | A (a0,a1), A (b0,b1) -> check_string a0 b0 ~message:"t89_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t89_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t89_A.1"; in let () = match t90_A, t_orig90_A with @@ -2087,7 +2087,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t92_A, t_orig92_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t92_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t92_A.0"; | _ -> assert false in let () = match t92_B, t_orig92_B with @@ -2110,7 +2110,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t94_A, t_orig94_A with | A (a0,a1), A (b0,b1) -> check_string a0 b0 ~message:"t94_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t94_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t94_A.1"; | _ -> assert false in let () = match t94_B, t_orig94_B with @@ -2126,7 +2126,7 @@ check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~mes | _ -> assert false in let () = match t96_B, t_orig96_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t96_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t96_B.0"; | _ -> assert false in let () = match t97_A, t_orig97_A with @@ -2144,7 +2144,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t98_A, t_orig98_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t98_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t98_A.0"; | _ -> assert false in let () = match t98_B, t_orig98_B with @@ -2171,7 +2171,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t100_A, t_orig100_A with | A (a0,a1), A (b0,b1) -> check_string a0 b0 ~message:"t100_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t100_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t100_A.1"; | _ -> assert false in let () = match t100_B, t_orig100_B with @@ -2215,11 +2215,11 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t104_B, t_orig104_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t104_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t104_B.0"; | _ -> assert false in let () = match t105_A, t_orig105_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t105_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t105_A.0"; | _ -> assert false in let () = match t105_B, t_orig105_B with @@ -2250,7 +2250,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t107_A, t_orig107_A with | A (a0,a1), A (b0,b1) -> check_string a0 b0 ~message:"t107_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t107_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t107_A.1"; | _ -> assert false in let () = match t107_B, t_orig107_B with @@ -2282,7 +2282,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co in let () = match t110_A, t_orig110_A with | A (a0,a1), A (b0,b1) -> check_float a0 b0 ~message:"t110_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t110_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t110_A.1"; in let () = match t111_A, t_orig111_A with @@ -2317,11 +2317,11 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t113_A, t_orig113_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t113_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t113_A.0"; | _ -> assert false in let () = match t113_B, t_orig113_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t113_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t113_B.0"; | _ -> assert false in let () = match t114_A, t_orig114_A with @@ -2340,7 +2340,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t115_A, t_orig115_A with | A (a0,a1), A (b0,b1) -> check_string a0 b0 ~message:"t115_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t115_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t115_A.1"; | _ -> assert false in let () = match t115_B, t_orig115_B with @@ -2380,7 +2380,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co in let () = match t118_A, t_orig118_A with | A (a0,a1), A (b0,b1) -> check_float a0 b0 ~message:"t118_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t118_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t118_A.1"; | _ -> assert false in let () = match t118_B, t_orig118_B with @@ -2397,7 +2397,7 @@ check_int32 (Stdlib_upstream_compatible.Int32_u.to_int32 a1) (Stdlib_upstream_co | _ -> assert false in let () = match t120_B, t_orig120_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t120_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t120_B.0"; | _ -> assert false in let () = match t120_C, t_orig120_C with @@ -2423,7 +2423,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t122_A, t_orig122_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t122_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t122_A.0"; | _ -> assert false in let () = match t122_B, t_orig122_B with @@ -2441,12 +2441,12 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t123_B, t_orig123_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t123_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t123_B.0"; | _ -> assert false in let () = match t124_A, t_orig124_A with | A (a0,a1), A (b0,b1) -> check_string a0 b0 ~message:"t124_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t124_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t124_A.1"; | _ -> assert false in let () = match t124_B, t_orig124_B with @@ -2487,7 +2487,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t127_A, t_orig127_A with | A (a0,a1), A (b0,b1) -> check_float a0 b0 ~message:"t127_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t127_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t127_A.1"; | _ -> assert false in let () = match t127_B, t_orig127_B with @@ -2526,7 +2526,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t131_B, t_orig131_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t131_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t131_B.0"; | _ -> assert false in let () = match t131_C, t_orig131_C with @@ -2534,7 +2534,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t132_A, t_orig132_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t132_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t132_A.0"; | _ -> assert false in let () = match t132_B, t_orig132_B with @@ -2566,11 +2566,11 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t134_A, t_orig134_A with | A (a0,a1), A (b0,b1) -> check_string a0 b0 ~message:"t134_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t134_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t134_A.1"; | _ -> assert false in let () = match t134_B, t_orig134_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t134_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t134_B.0"; | _ -> assert false in let () = match t135_A, t_orig135_A with @@ -2606,7 +2606,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a2) (Stdlib_upstream_co in let () = match t137_A, t_orig137_A with | A (a0,a1), A (b0,b1) -> check_float a0 b0 ~message:"t137_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t137_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t137_A.1"; | _ -> assert false in let () = match t137_B, t_orig137_B with @@ -2672,11 +2672,11 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t143_A, t_orig143_A with - | A (a0), A (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t143_A.0"; + | A (a0), A (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t143_A.0"; | _ -> assert false in let () = match t143_B, t_orig143_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t143_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t143_B.0"; | _ -> assert false in let () = match t143_C, t_orig143_C with @@ -2703,7 +2703,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t145_A, t_orig145_A with | A (a0,a1), A (b0,b1) -> check_string a0 b0 ~message:"t145_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t145_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t145_A.1"; | _ -> assert false in let () = match t145_B, t_orig145_B with @@ -2720,7 +2720,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co | _ -> assert false in let () = match t146_B, t_orig146_B with - | B (a0), B (b0) -> check_float32 (Beta.Float32_u.to_float32 a0) (Beta.Float32_u.to_float32 b0) ~message:"t146_B.0"; + | B (a0), B (b0) -> check_float32 (Stdlib_beta.Float32_u.to_float32 a0) (Stdlib_beta.Float32_u.to_float32 b0) ~message:"t146_B.0"; | _ -> assert false in let () = match t147_A, t_orig147_A with @@ -2740,7 +2740,7 @@ check_float (Stdlib_upstream_compatible.Float_u.to_float a1) (Stdlib_upstream_co in let () = match t148_A, t_orig148_A with | A (a0,a1), A (b0,b1) -> check_float a0 b0 ~message:"t148_A.0"; -check_float32 (Beta.Float32_u.to_float32 a1) (Beta.Float32_u.to_float32 b1) ~message:"t148_A.1"; +check_float32 (Stdlib_beta.Float32_u.to_float32 a1) (Stdlib_beta.Float32_u.to_float32 b1) ~message:"t148_A.1"; | _ -> assert false in let () = match t148_B, t_orig148_B with diff --git a/ocaml/testsuite/tests/typing-layouts-arrays/test_float32_u_array.ml b/ocaml/testsuite/tests/typing-layouts-arrays/test_float32_u_array.ml index 30658112a8e..e70f9a94a84 100644 --- a/ocaml/testsuite/tests/typing-layouts-arrays/test_float32_u_array.ml +++ b/ocaml/testsuite/tests/typing-layouts-arrays/test_float32_u_array.ml @@ -1,7 +1,7 @@ (* TEST readonly_files = "gen_u_array.ml test_gen_u_array.ml"; modules = "${readonly_files}"; - include beta; + include stdlib_beta; flambda2; { flags = "-extension small_numbers"; @@ -21,7 +21,7 @@ tests around type-checking should go to [basics.ml]. *) module Float32_I = struct - include Beta.Float32 + include Stdlib_beta.Float32 let max_val = max_float let min_val = min_float let rand f = of_float (Random.float (to_float f)) @@ -66,7 +66,7 @@ module Float32_u_array0 : Gen_u_array.S0 "caml_array_blit" "caml_unboxed_float32_vect_blit" let empty () = [||] external to_boxed : ('a : float32) -> (float32[@local_opt]) = "%box_float32" - let compare_element x y = Beta.Float32.compare (to_boxed (x ())) (to_boxed (y ())) + let compare_element x y = Stdlib_beta.Float32.compare (to_boxed (x ())) (to_boxed (y ())) end module Float32_u_array = Gen_u_array.Make (Float32_u_array0) @@ -74,7 +74,7 @@ module Float32_u_array_boxed : Test_gen_u_array.S with type t = float32# array = module M = Float32_u_array module I = Float32_I module E = struct - open Beta.Float32_u + open Stdlib_beta.Float32_u let to_boxed x = to_float32 (x ()) let of_boxed x () = of_float32 x end @@ -189,7 +189,7 @@ let () = (* expression and patterns *) let () = - let ( = ) = Beta.Float32_u.equal in + let ( = ) = Stdlib_beta.Float32_u.equal in (* match statement *) let d = [| #1.s; #2.s |] in (match d with diff --git a/ocaml/testsuite/tests/typing-layouts-float32/alloc.ml b/ocaml/testsuite/tests/typing-layouts-float32/alloc.ml index 7b03bf52bba..96658869f47 100644 --- a/ocaml/testsuite/tests/typing-layouts-float32/alloc.ml +++ b/ocaml/testsuite/tests/typing-layouts-float32/alloc.ml @@ -1,7 +1,7 @@ (* TEST flambda2; { - include beta; + include stdlib_beta; flags = "-extension-universe beta"; native; } @@ -15,7 +15,7 @@ floats. *) module Float32_u = struct - include Beta.Float32_u + include Stdlib_beta.Float32_u let ( + ) = add let ( - ) = sub @@ -82,12 +82,12 @@ struct measure_alloc (fun () -> go #0.s #0.s) in Printf.printf "Unboxed:\n estimate: %f\n allocations: %s\n" - (Beta.Float32.to_float (to_float32 est) *. 4.) (get_allocations ()) + (Stdlib_beta.Float32.to_float (to_float32 est) *. 4.) (get_allocations ()) end module Pi_boxed = struct - open Beta.Float32 + open Stdlib_beta.Float32 open Operators let[@inline never] step n estimate = @@ -125,8 +125,8 @@ let print_record_and_allocs s r = Printf.printf "%s:\n allocated bytes: %.2f\n a: %.2f\n b: %.2f\n c: %.2f\n d: %.2f\n" s allocs - (Beta.Float32.to_float (Float32_u.to_float32 r.a)) (Beta.Float32.to_float (Float32_u.to_float32 r.b)) - (Beta.Float32.to_float (Float32_u.to_float32 r.c)) (Beta.Float32.to_float (Float32_u.to_float32 r.d)) + (Stdlib_beta.Float32.to_float (Float32_u.to_float32 r.a)) (Stdlib_beta.Float32.to_float (Float32_u.to_float32 r.b)) + (Stdlib_beta.Float32.to_float (Float32_u.to_float32 r.c)) (Stdlib_beta.Float32.to_float (Float32_u.to_float32 r.d)) (* Building a record should only allocate the box *) let[@inline never] build x = diff --git a/ocaml/testsuite/tests/typing-layouts-float32/unboxed_float32s.ml b/ocaml/testsuite/tests/typing-layouts-float32/unboxed_float32s.ml index 8163080daf6..b04f631a309 100644 --- a/ocaml/testsuite/tests/typing-layouts-float32/unboxed_float32s.ml +++ b/ocaml/testsuite/tests/typing-layouts-float32/unboxed_float32s.ml @@ -1,6 +1,6 @@ (* TEST reference = "${test_source_directory}/unboxed_float32s.reference"; - include beta; + include stdlib_beta; flambda2; { flags = "-extension layouts_alpha -extension small_numbers"; @@ -34,7 +34,7 @@ (* Prelude: Functions on unboxed floats. *) module Float32 = struct - include Beta.Float32 + include Stdlib_beta.Float32 let ( + ) = add let ( - ) = sub @@ -45,7 +45,7 @@ module Float32 = struct end module Float32_u = struct - include Beta.Float32_u + include Stdlib_beta.Float32_u let ( + ) = add let ( - ) = sub diff --git a/tests/small_numbers/dune b/tests/small_numbers/dune index 0586b0d96ea..8a4da40c29d 100644 --- a/tests/small_numbers/dune +++ b/tests/small_numbers/dune @@ -12,7 +12,7 @@ (executables (names float32_builtin float32_lib float32_u_lib) (modules float32_builtin float32_lib float32_u_lib) - (libraries beta) + (libraries stdlib_beta) (foreign_archives stubs) ; FIXME Fix warnings (flags @@ -67,7 +67,7 @@ float32_builtin_internal float32_lib_internal float32_u_lib_internal) - (libraries beta) + (libraries stdlib_beta) (enabled_if (<> %{system} macosx)) (foreign_archives stubs) diff --git a/tests/small_numbers/float32.ml b/tests/small_numbers/float32.ml index fd821fd8530..2a4c77259e1 100644 --- a/tests/small_numbers/float32.ml +++ b/tests/small_numbers/float32.ml @@ -130,8 +130,8 @@ module CFloat32 = struct for _ = 0 to 100_000 do let f0 = Random.int32 Int32.max_int in let f1 = Random.int32 Int32.max_int in - f ((if Random.bool () then f0 else Int32.neg f0) |> Int32.float_of_bits |> Beta.Float32.of_float) - ((if Random.bool () then f1 else Int32.neg f1) |> Int32.float_of_bits |> Beta.Float32.of_float) + f ((if Random.bool () then f0 else Int32.neg f0) |> Int32.float_of_bits |> Stdlib_beta.Float32.of_float) + ((if Random.bool () then f1 else Int32.neg f1) |> Int32.float_of_bits |> Stdlib_beta.Float32.of_float) done ;; end diff --git a/tests/small_numbers/float32_lib.ml b/tests/small_numbers/float32_lib.ml index 022a47ad2f1..741fab1a45e 100644 --- a/tests/small_numbers/float32_lib.ml +++ b/tests/small_numbers/float32_lib.ml @@ -3,7 +3,7 @@ (* Tests for the float32 otherlib *) -module F32 = Beta.Float32 +module F32 = Stdlib_beta.Float32 module CF32 = struct type t = float32 @@ -145,8 +145,8 @@ module CF32 = struct for _ = 0 to 100_000 do let f0 = Random.int32 Int32.max_int in let f1 = Random.int32 Int32.max_int in - f ((if Random.bool () then f0 else Int32.neg f0) |> Int32.float_of_bits |> Beta.Float32.of_float) - ((if Random.bool () then f1 else Int32.neg f1) |> Int32.float_of_bits |> Beta.Float32.of_float) + f ((if Random.bool () then f0 else Int32.neg f0) |> Int32.float_of_bits |> Stdlib_beta.Float32.of_float) + ((if Random.bool () then f1 else Int32.neg f1) |> Int32.float_of_bits |> Stdlib_beta.Float32.of_float) done ;; end diff --git a/tests/small_numbers/float32_u_lib.ml b/tests/small_numbers/float32_u_lib.ml index 3fbbe6aec55..c0ffcac54a1 100644 --- a/tests/small_numbers/float32_u_lib.ml +++ b/tests/small_numbers/float32_u_lib.ml @@ -3,7 +3,7 @@ (* Tests for the float32 otherlib *) -module F32 = Beta.Float32_u +module F32 = Stdlib_beta.Float32_u external box_int32 : int32# -> (int32[@local_opt]) = "%box_int32" external unbox_int32 : (int32[@local_opt]) -> int32# = "%unbox_int32" @@ -152,8 +152,8 @@ module CF32 = struct for _ = 0 to 100_000 do let f0 = Random.int32 Int32.max_int in let f1 = Random.int32 Int32.max_int in - f ((if Random.bool () then f0 else Int32.neg f0) |> Int32.float_of_bits |> Beta.Float32.of_float) - ((if Random.bool () then f1 else Int32.neg f1) |> Int32.float_of_bits |> Beta.Float32.of_float) + f ((if Random.bool () then f0 else Int32.neg f0) |> Int32.float_of_bits |> Stdlib_beta.Float32.of_float) + ((if Random.bool () then f1 else Int32.neg f1) |> Int32.float_of_bits |> Stdlib_beta.Float32.of_float) done ;; end diff --git a/testsuite/tests/lib-extensions/old_names.ml b/testsuite/tests/lib-extensions/old_names.ml deleted file mode 100644 index 382cd771e18..00000000000 --- a/testsuite/tests/lib-extensions/old_names.ml +++ /dev/null @@ -1,18 +0,0 @@ -(* TEST - flags = "-extension-universe alpha"; - include upstream_compatible; - include stable; - include beta; - include alpha; - { - bytecode; - }{ - native; - } -*) - -(* Check that old names for the libraries still work. *) -module Upstream_compatible = Upstream_compatible -module Stable = Stable -module Beta = Beta -module Alpha = Alpha