From 52b1c99ea7ccdb996240d196775d69a87d902ca0 Mon Sep 17 00:00:00 2001
From: Gaith Hallak <gaithhallak@gmail.com>
Date: Wed, 18 Aug 2021 13:57:40 +0300
Subject: [PATCH] Add failing test for ambiguous names

---
 test/aeso_compiler_tests.erl                      |  6 ++++++
 test/contracts/using_namespace_ambiguous_name.aes | 13 +++++++++++++
 2 files changed, 19 insertions(+)
 create mode 100644 test/contracts/using_namespace_ambiguous_name.aes

diff --git a/test/aeso_compiler_tests.erl b/test/aeso_compiler_tests.erl
index 8b531e7..d7f0b30 100644
--- a/test/aeso_compiler_tests.erl
+++ b/test/aeso_compiler_tests.erl
@@ -782,6 +782,12 @@ failing_contracts() ->
                    [<<?Pos(1,6)
                       "Only one main contract can be defined.">>
                    ])
+    , ?TYPE_ERROR(using_namespace_ambiguous_name,
+                  [ <<?Pos(2,3)
+                      "Ambiguous name: Xa.f at line 2, column 3\nXb.f at line 5, column 3">>
+                  , <<?Pos(13,23)
+                      "Unbound variable A.f at line 13, column 23">>
+                  ])
     ].
 
 -define(Path(File), "code_errors/" ??File).
diff --git a/test/contracts/using_namespace_ambiguous_name.aes b/test/contracts/using_namespace_ambiguous_name.aes
new file mode 100644
index 0000000..e86e8ad
--- /dev/null
+++ b/test/contracts/using_namespace_ambiguous_name.aes
@@ -0,0 +1,13 @@
+namespace Xa =
+  function f() = 1
+
+namespace Xb =
+  function f() = 2
+
+contract Cntr =
+  using Xa as A
+  using Xb as A
+
+  type state = int
+
+  entrypoint init() = A.f()