wording

zth · zth · commit 438c041fc59a · 2025-07-04T16:49:23.000+02:00
diff --git a/compiler/ml/printtyp.ml b/compiler/ml/printtyp.ml
@@ -1404,8 +1404,8 @@ let explanation unif t3 t4 ppf =
          @,\
          Possible solutions:\n\
         \  - Either make the first variant @{<info>open@} so it can accept \
-         constructors it hasn't listed itself. To do this, make sure the type \
-         starts with @{<info>[>@} instead of @{<info>[@}\n\
+         additional constructors. To do this, make sure the type starts with \
+         @{<info>[>@} instead of @{<info>[@}\n\
         \  - Or add the missing %s to it."
         constructors_txt print_tags fields constructors_txt
     | (_ :: _ as fields), _, [], true ->
@@ -1420,8 +1420,8 @@ let explanation unif t3 t4 ppf =
          @,\
          Possible solutions:\n\
         \  - Either make the second variant @{<info>open@} so it can accept \
-         constructors it hasn't listed itself. To do this, make sure the type \
-         starts with @{<info>[>@} instead of @{<info>[@}\n\
+         additional constructors. To do this, make sure the type starts with \
+         @{<info>[>@} instead of @{<info>[@}\n\
         \  - Or add the missing %s to it."
         constructors_txt print_tags fields constructors_txt
     | [(l1, _)], true, [(l2, _)], true when l1 = l2 ->
diff --git a/tests/build_tests/super_errors/expected/polyvariant_constructors_mismatch_second.res.expected b/tests/build_tests/super_errors/expected/polyvariant_constructors_mismatch_second.res.expected
@@ -13,5 +13,5 @@
   The second polymorphic variant is [1;33mclosed[0m and doesn't include the constructor: [1;31m#Resize[0m.
   
   Possible solutions:
-  - Either make the second variant [1;33mopen[0m so it can accept constructors it hasn't listed itself. To do this, make sure the type starts with [1;33m[>[0m instead of [1;33m[[0m
+  - Either make the second variant [1;33mopen[0m so it can accept additional constructors. To do this, make sure the type starts with [1;33m[>[0m instead of [1;33m[[0m
   - Or add the missing constructor to it.
diff --git a/tests/build_tests/super_errors/expected/polyvariant_name_formatting.res.expected b/tests/build_tests/super_errors/expected/polyvariant_name_formatting.res.expected
@@ -14,5 +14,5 @@
   The second polymorphic variant is [1;33mclosed[0m and doesn't include the constructor: [1;31m#Invalid[0m.
   
   Possible solutions:
-  - Either make the second variant [1;33mopen[0m so it can accept constructors it hasn't listed itself. To do this, make sure the type starts with [1;33m[>[0m instead of [1;33m[[0m
+  - Either make the second variant [1;33mopen[0m so it can accept additional constructors. To do this, make sure the type starts with [1;33m[>[0m instead of [1;33m[[0m
   - Or add the missing constructor to it.

-Original file line number
+Diff line change
   The second polymorphic variant is [1;33mclosed[0m and doesn't include the constructor: [1;31m#Resize[0m.
   Possible solutions:
 -  - Either make the second variant [1;33mopen[0m so it can accept constructors it hasn't listed itself. To do this, make sure the type starts with [1;33m[>[0m instead of [1;33m[[0m
 +  - Either make the second variant [1;33mopen[0m so it can accept additional constructors. To do this, make sure the type starts with [1;33m[>[0m instead of [1;33m[[0m
   - Or add the missing constructor to it.