fix

zth · zth · commit 4f302256d1af · 2025-05-22T18:17:12.000+02:00
diff --git a/compiler/ml/error_message_utils.ml b/compiler/ml/error_message_utils.ml
@@ -161,7 +161,7 @@ let print_extra_type_clash_help ~extract_concrete_typedecl ~env loc ppf
         \  Floats and ints have their own mathematical operators. This means \
          you cannot %s a float and an int without converting between the two.\n\n\
         \  Possible solutions:\n\
-        \  - Ensure all values in this calculation has the type @{<info>%s@}. \
+        \  - Ensure all values in this calculation have the type @{<info>%s@}. \
          You can convert between floats and ints via @{<info>Float.toInt@} and \
          @{<info>Int.fromFloat@}."
         operator_text
diff --git a/tests/build_tests/super_errors/expected/math_operator_float.res.expected b/tests/build_tests/super_errors/expected/math_operator_float.res.expected
@@ -13,7 +13,7 @@
   Floats and ints have their own mathematical operators. This means you cannot add a float and an int without converting between the two.
 
   Possible solutions:
-  - Ensure all values in this calculation has the type [1;33mfloat[0m. You can convert between floats and ints via [1;33mFloat.toInt[0m and [1;33mInt.fromFloat[0m.
+  - Ensure all values in this calculation have the type [1;33mfloat[0m. You can convert between floats and ints via [1;33mFloat.toInt[0m and [1;33mInt.fromFloat[0m.
   - Change the operator to [1;33m+[0m, which works on [1;33mint[0m
   
   You can convert [1;33mint[0m to [1;33mfloat[0m with [1;33mInt.toFloat[0m.
diff --git a/tests/build_tests/super_errors/expected/primitives7.res.expected b/tests/build_tests/super_errors/expected/primitives7.res.expected
@@ -13,7 +13,7 @@
   Floats and ints have their own mathematical operators. This means you cannot add a float and an int without converting between the two.
 
   Possible solutions:
-  - Ensure all values in this calculation has the type [1;33mfloat[0m. You can convert between floats and ints via [1;33mFloat.toInt[0m and [1;33mInt.fromFloat[0m.
+  - Ensure all values in this calculation have the type [1;33mfloat[0m. You can convert between floats and ints via [1;33mFloat.toInt[0m and [1;33mInt.fromFloat[0m.
   - Change the operator to [1;33m+[0m, which works on [1;33mint[0m
   
   You can convert [1;33mint[0m to [1;33mfloat[0m with [1;33mInt.toFloat[0m.

-Original file line number
+Diff line change
   Floats and ints have their own mathematical operators. This means you cannot add a float and an int without converting between the two.
   Possible solutions:
 -  - Ensure all values in this calculation has the type [1;33mfloat[0m. You can convert between floats and ints via [1;33mFloat.toInt[0m and [1;33mInt.fromFloat[0m.
 +  - Ensure all values in this calculation have the type [1;33mfloat[0m. You can convert between floats and ints via [1;33mFloat.toInt[0m and [1;33mInt.fromFloat[0m.
   - Change the operator to [1;33m+[0m, which works on [1;33mint[0m
   You can convert [1;33mint[0m to [1;33mfloat[0m with [1;33mInt.toFloat[0m.