Testsuite promotions

ocaml/testsuite/tests/ppx-empty-cases/test.compilers.reference

@@ -1,40 +1,40 @@
 (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/29!!) [0: "test.ml" 28 50])))
-     empty_cases_returning_float64/272 =
-       (function {nlocal = 0} param/274 : unboxed_float
+     empty_cases_returning_float64/273 =
+       (function {nlocal = 0} param/275 : unboxed_float
          (raise
            (makeblock 0 (getpredef Match_failure/29!!) [0: "test.ml" 29 50])))
-     empty_cases_accepting_string/275 =
-       (function {nlocal = 0} param/277
+     empty_cases_accepting_string/276 =
+       (function {nlocal = 0} param/278
          (raise
            (makeblock 0 (getpredef Match_failure/29!!) [0: "test.ml" 30 50])))
-     empty_cases_accepting_float64/278 =
-       (function {nlocal = 0} param/280[unboxed_float]
+     empty_cases_accepting_float64/279 =
+       (function {nlocal = 0} param/281[unboxed_float]
          (raise
            (makeblock 0 (getpredef Match_failure/29!!) [0: "test.ml" 31 50])))
-     non_empty_cases_returning_string/281 =
-       (function {nlocal = 0} param/283
+     non_empty_cases_returning_string/282 =
+       (function {nlocal = 0} param/284
          (raise
            (makeblock 0 (getpredef Assert_failure/39!!) [0: "test.ml" 32 68])))
-     non_empty_cases_returning_float64/284 =
-       (function {nlocal = 0} param/286 : unboxed_float
+     non_empty_cases_returning_float64/285 =
+       (function {nlocal = 0} param/287 : unboxed_float
          (raise
            (makeblock 0 (getpredef Assert_failure/39!!) [0: "test.ml" 33 68])))
-     non_empty_cases_accepting_string/287 =
-       (function {nlocal = 0} param/289
+     non_empty_cases_accepting_string/288 =
+       (function {nlocal = 0} param/290
          (raise
            (makeblock 0 (getpredef Assert_failure/39!!) [0: "test.ml" 34 68])))
-     non_empty_cases_accepting_float64/290 =
-       (function {nlocal = 0} param/292[unboxed_float]
+     non_empty_cases_accepting_float64/291 =
+       (function {nlocal = 0} param/293[unboxed_float]
          (raise
            (makeblock 0 (getpredef Assert_failure/39!!) [0: "test.ml" 35 68]))))
-    (makeblock 0 empty_cases_returning_string/269
-      empty_cases_returning_float64/272 empty_cases_accepting_string/275
-      empty_cases_accepting_float64/278 non_empty_cases_returning_string/281
-      non_empty_cases_returning_float64/284
-      non_empty_cases_accepting_string/287
-      non_empty_cases_accepting_float64/290)))
+    (makeblock 0 empty_cases_returning_string/270
+      empty_cases_returning_float64/273 empty_cases_accepting_string/276
+      empty_cases_accepting_float64/279 non_empty_cases_returning_string/282
+      non_empty_cases_returning_float64/285
+      non_empty_cases_accepting_string/288
+      non_empty_cases_accepting_float64/291)))

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
 |}]

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

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

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 :

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>;
                           });