Make uniqueness for DRF stable (ocaml-flambda#3319)

Co-authored-by: Anton Lorenzen <[email protected]>
ccasin · Dec 2, 2024 · 1ed7111 · 1ed7111
1 parent 5a358a0
commit 1ed7111
Show file tree

Hide file tree

Showing 14 changed files with 4 additions and 14 deletions.
diff --git a/parsing/language_extension.ml b/parsing/language_extension.ml
@@ -87,7 +87,7 @@ let is_erasable : type a. a t -> bool = function
   | Module_strengthening | SIMD | Labeled_tuples | Small_numbers | Instances ->
     false
 
-let maturity_of_unique_for_drf = Alpha
+let maturity_of_unique_for_drf = Stable
 
 let maturity_of_unique_for_destruction = Alpha
 

diff --git a/testsuite/tests/typing-modal-kinds/basics.ml b/testsuite/tests/typing-modal-kinds/basics.ml
@@ -1,5 +1,4 @@
 (* TEST
- flags = "-extension unique_alpha";
  expect;
 *)
 

diff --git a/testsuite/tests/typing-modal-kinds/expected_mode.ml b/testsuite/tests/typing-modal-kinds/expected_mode.ml
@@ -1,5 +1,4 @@
 (* TEST
- flags = "-extension unique_alpha";
  expect;
 *)
 

diff --git a/testsuite/tests/typing-modes/class.ml b/testsuite/tests/typing-modes/class.ml
@@ -1,5 +1,4 @@
 (* TEST
-    flags += "-extension unique_alpha";
     expect;
 *)
 

diff --git a/testsuite/tests/typing-modes/currying.ml b/testsuite/tests/typing-modes/currying.ml
@@ -1,5 +1,4 @@
 (* TEST
- flags += "-extension unique_alpha";
  expect;
 *)
 

diff --git a/testsuite/tests/typing-modes/lazy.ml b/testsuite/tests/typing-modes/lazy.ml
@@ -1,5 +1,4 @@
 (* TEST
-    flags += "-extension unique_alpha";
     expect;
 *)
 

diff --git a/testsuite/tests/typing-modes/mutable.ml b/testsuite/tests/typing-modes/mutable.ml
@@ -1,5 +1,5 @@
 (* TEST
- flags = "-extension unique_alpha -w +53";
+ flags = "-w +53";
  expect;
 *)
 

diff --git a/testsuite/tests/typing-modes/probe.ml b/testsuite/tests/typing-modes/probe.ml
@@ -1,5 +1,4 @@
 (* TEST
-    flags += "-extension unique_alpha";
     expect;
 *)
 

diff --git a/testsuite/tests/typing-modes/val_modalities.ml b/testsuite/tests/typing-modes/val_modalities.ml
@@ -1,5 +1,5 @@
 (* TEST
- flags = "-extension unique_alpha -extension mode_alpha";
+ flags = "-extension mode_alpha";
  expect;
 *)
 

diff --git a/testsuite/tests/typing-unique/unique.ml b/testsuite/tests/typing-unique/unique.ml
@@ -1,5 +1,4 @@
 (* TEST
- flags += "-extension unique_alpha";
  expect;
 *)
 

diff --git a/testsuite/tests/typing-unique/unique_analysis.ml b/testsuite/tests/typing-unique/unique_analysis.ml
@@ -1,5 +1,5 @@
 (* TEST
- flags += "-extension unique_alpha -extension layouts_beta";
+ flags += "-extension layouts_beta";
  expect;
 *)
 

diff --git a/testsuite/tests/typing-unique/unique_documentation.ml b/testsuite/tests/typing-unique/unique_documentation.ml
@@ -1,5 +1,4 @@
 (* TEST
-   flags += "-extension unique_alpha";
    expect;
 *)
 

diff --git a/testsuite/tests/typing-unique/unique_mod_class.ml b/testsuite/tests/typing-unique/unique_mod_class.ml
@@ -1,5 +1,4 @@
 (* TEST
- flags += "-extension unique_alpha";
  expect;
 *)
 

diff --git a/testsuite/tests/typing-unique/unique_typedecl.ml b/testsuite/tests/typing-unique/unique_typedecl.ml
@@ -1,5 +1,4 @@
 (* TEST
- flags += "-extension unique_alpha";
  expect;
 *)
-Original file line number
+Diff line change
@@ -1,5 +1,4 @@
     (* TEST
-     flags = "-extension unique_alpha";
      expect;
     *)
@@ Expand Down @@