From adb3455f25f042f742176b564b0b35e4515719a5 Mon Sep 17 00:00:00 2001
From: Gaith Hallak <gaithhallak@gmail.com>
Date: Sat, 18 Dec 2021 19:10:45 +0200
Subject: [PATCH] Add test for implementing two interfaces with entrypoints of
 same names and different types

---
 test/aeso_compiler_tests.erl                             | 6 ++++++
 ...morphism_same_name_different_type_multi_interface.aes | 9 +++++++++
 2 files changed, 15 insertions(+)
 create mode 100644 test/contracts/contract_polymorphism_same_name_different_type_multi_interface.aes

diff --git a/test/aeso_compiler_tests.erl b/test/aeso_compiler_tests.erl
index eb890b2..192da86 100644
--- a/test/aeso_compiler_tests.erl
+++ b/test/aeso_compiler_tests.erl
@@ -848,6 +848,12 @@ failing_contracts() ->
                   [<<?Pos(1,14)
                      "Trying to implement or extend an undefined interface I at line 1, column 14">>
                   ])
+    , ?TYPE_ERROR(contract_polymorphism_same_name_different_type_multi_interface,
+                  [<<?Pos(9,5)
+                     "Duplicate definitions of f at\n"
+                     "  - line 8, column 5\n"
+                     "  - line 9, column 5">>
+                  ])
     , ?TYPE_ERROR(contract_interface_polymorphism_undefined_interface,
                   [<<?Pos(1,24)
                      "Trying to implement or extend an undefined interface H at line 1, column 24">>
diff --git a/test/contracts/contract_polymorphism_same_name_different_type_multi_interface.aes b/test/contracts/contract_polymorphism_same_name_different_type_multi_interface.aes
new file mode 100644
index 0000000..2d6098d
--- /dev/null
+++ b/test/contracts/contract_polymorphism_same_name_different_type_multi_interface.aes
@@ -0,0 +1,9 @@
+contract interface I =
+    entrypoint f : () => int
+
+contract interface J =
+    entrypoint f : () => char
+
+contract C : I, J =
+    entrypoint f() = 1
+    entrypoint f() = 'c'