Testsuite promotions

ocaml-flambda · Apr 15, 2024 · 73a2554 · 73a2554
1 parent 6875b3f
commit 73a2554
Show file tree

Hide file tree

Showing 7 changed files with 176 additions and 176 deletions.
diff --git a/ocaml/testsuite/tests/basic/patmatch_for_multiple.ml b/ocaml/testsuite/tests/basic/patmatch_for_multiple.ml
diff --git a/ocaml/testsuite/tests/ppx-empty-cases/test.compilers.reference b/ocaml/testsuite/tests/ppx-empty-cases/test.compilers.reference
@@ -1,7 +1,7 @@
 (setglobal Test!
   (let
-    (empty_cases_returning_string/269 =
-       (function {nlocal = 0} param/271
+    (empty_cases_returning_string/270 =
+       (function {nlocal = 0} param/272
          (raise
            (makeblock 0 (getpredef Match_failure/31!!) [0: "test.ml" 28 50])))
      empty_cases_returning_float64/272 =

diff --git a/ocaml/testsuite/tests/shapes/comp_units.ml b/ocaml/testsuite/tests/shapes/comp_units.ml
@@ -25,7 +25,7 @@ module Mproj = Unit
 module F (X : sig type t end) = X
 [%%expect{|
 {
- "F"[module] -> Abs<.4>(X/278, X/278<.3>);
+ "F"[module] -> Abs<.4>(X/279, X/279<.3>);
  }
 module F : functor (X : sig type t end) -> sig type t = X.t end
 |}]

diff --git a/ocaml/testsuite/tests/shapes/functors.ml b/ocaml/testsuite/tests/shapes/functors.ml
@@ -17,7 +17,7 @@ module type S = sig type t val x : t end
 module Falias (X : S) = X
 [%%expect{|
 {
- "Falias"[module] -> Abs<.4>(X/280, X/280<.3>);
+ "Falias"[module] -> Abs<.4>(X/281, X/281<.3>);
  }
 module Falias : functor (X : S) -> sig type t = X.t val x : t end
 |}]
@@ -29,10 +29,10 @@ end
 {
  "Finclude"[module] ->
    Abs<.6>
-      (X/284,
+      (X/285,
        {
-        "t"[type] -> X/284<.5> . "t"[type];
-        "x"[value] -> X/284<.5> . "x"[value];
+        "t"[type] -> X/285<.5> . "t"[type];
+        "x"[value] -> X/285<.5> . "x"[value];
         });
  }
 module Finclude : functor (X : S) -> sig type t = X.t val x : t end
@@ -45,7 +45,7 @@ end
 [%%expect{|
 {
  "Fredef"[module] ->
-   Abs<.10>(X/291, {
+   Abs<.10>(X/292, {
                     "t"[type] -> <.8>;
                     "x"[value] -> <.9>;
                     });
@@ -223,8 +223,8 @@ module Big_to_small1 : B2S = functor (X : Big) -> X
 [%%expect{|
 {
  "Big_to_small1"[module] ->
-   Abs<.40>(X/384, {<.39>
-                    "t"[type] -> X/384<.39> . "t"[type];
+   Abs<.40>(X/385, {<.39>
+                    "t"[type] -> X/385<.39> . "t"[type];
                     });
  }
 module Big_to_small1 : B2S
@@ -234,8 +234,8 @@ module Big_to_small2 : B2S = functor (X : Big) -> struct include X end
 [%%expect{|
 {
  "Big_to_small2"[module] ->
-   Abs<.42>(X/387, {
-                    "t"[type] -> X/387<.41> . "t"[type];
+   Abs<.42>(X/388, {
+                    "t"[type] -> X/388<.41> . "t"[type];
                     });
  }
 module Big_to_small2 : B2S

diff --git a/ocaml/testsuite/tests/shapes/open_arg.ml b/ocaml/testsuite/tests/shapes/open_arg.ml
@@ -22,7 +22,7 @@ end = struct end
 
 [%%expect{|
 {
- "Make"[module] -> Abs<.3>(I/280, {
+ "Make"[module] -> Abs<.3>(I/281, {
                                    });
  }
 module Make : functor (I : sig end) -> sig end

diff --git a/ocaml/testsuite/tests/shapes/recmodules.ml b/ocaml/testsuite/tests/shapes/recmodules.ml
@@ -43,8 +43,8 @@ and B : sig
 end = B
 [%%expect{|
 {
- "A"[module] -> A/303<.11>;
- "B"[module] -> B/304<.12>;
+ "A"[module] -> A/304<.11>;
+ "B"[module] -> B/305<.12>;
  }
 module rec A : sig type t = Leaf of B.t end
 and B : sig type t = int end
@@ -82,12 +82,12 @@ end = Set.Make(A)
  "ASet"[module] ->
    {
     "compare"[value] ->
-      CU Stdlib . "Set"[module] . "Make"[module](A/325<.19>) .
+      CU Stdlib . "Set"[module] . "Make"[module](A/326<.19>) .
       "compare"[value];
     "elt"[type] ->
-      CU Stdlib . "Set"[module] . "Make"[module](A/325<.19>) . "elt"[type];
+      CU Stdlib . "Set"[module] . "Make"[module](A/326<.19>) . "elt"[type];
     "t"[type] ->
-      CU Stdlib . "Set"[module] . "Make"[module](A/325<.19>) . "t"[type];
+      CU Stdlib . "Set"[module] . "Make"[module](A/326<.19>) . "t"[type];
     };
  }
 module rec A :

diff --git a/ocaml/testsuite/tests/shapes/rotor_example.ml b/ocaml/testsuite/tests/shapes/rotor_example.ml
@@ -25,7 +25,7 @@ end
 [%%expect{|
 {
  "Pair"[module] ->
-   Abs<.9>(X/280, Y/281, {
+   Abs<.9>(X/281, Y/282, {
                           "t"[type] -> <.5>;
                           "to_string"[value] -> <.6>;
                           });