From 5d162dd7b02d4f8e218c68a5ae3317e9b62ff65b Mon Sep 17 00:00:00 2001
From: Gaith Hallak <gaithhallak@gmail.com>
Date: Tue, 1 Nov 2022 18:38:18 +0300
Subject: [PATCH] Change the error message for unify_varargs

---
 src/aeso_ast_infer_types.erl | 2 +-
 test/aeso_compiler_tests.erl | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/aeso_ast_infer_types.erl b/src/aeso_ast_infer_types.erl
index 9e9e615..4a8c8cb 100644
--- a/src/aeso_ast_infer_types.erl
+++ b/src/aeso_ast_infer_types.erl
@@ -3627,7 +3627,7 @@ mk_error({multiple_main_contracts, Ann}) ->
     Msg = "Only one main contract can be defined.",
     mk_t_err(pos(Ann), Msg);
 mk_error({unify_varargs, When}) ->
-    Msg = "Cannot unify variable argument list.",
+    Msg = "Cannot infer types for variable argument list.",
     {Pos, Ctxt} = pp_when(When),
     mk_t_err(Pos, Msg, Ctxt);
 mk_error({clone_no_contract, Ann}) ->
diff --git a/test/aeso_compiler_tests.erl b/test/aeso_compiler_tests.erl
index cd1da79..0ca006b 100644
--- a/test/aeso_compiler_tests.erl
+++ b/test/aeso_compiler_tests.erl
@@ -1141,12 +1141,12 @@ failing_contracts() ->
                   ])
     , ?TYPE_ERROR(var_args_unify_let,
                   [<<?Pos(3,9)
-                     "Cannot unify variable argument list.\n"
+                     "Cannot infer types for variable argument list.\n"
                      "when checking the type of the pattern `x : 'a` against the expected type `(gas : int, value : int, protected : bool, ref : 'b, var_args) => 'b`">>
                   ])
     , ?TYPE_ERROR(var_args_unify_fun_call,
                   [<<?Pos(6,5)
-                     "Cannot unify variable argument list.\n"
+                     "Cannot infer types for variable argument list.\n"
                      "when checking the application of\n"
                      "  `g : (() => 'b) => 'b`\n"
                      "to arguments\n"