From 918ff94a3760d6dc2419af499c754379a8311d30 Mon Sep 17 00:00:00 2001
From: Gaith Hallak <gaithhallak@gmail.com>
Date: Sat, 18 Dec 2021 19:01:51 +0200
Subject: [PATCH] Add test for implementing multiple interfaces

---
 test/aeso_compiler_tests.erl                             | 1 +
 test/contracts/contract_polymorphism_multi_interface.aes | 9 +++++++++
 2 files changed, 10 insertions(+)
 create mode 100644 test/contracts/contract_polymorphism_multi_interface.aes

diff --git a/test/aeso_compiler_tests.erl b/test/aeso_compiler_tests.erl
index 96eac37..eb890b2 100644
--- a/test/aeso_compiler_tests.erl
+++ b/test/aeso_compiler_tests.erl
@@ -203,6 +203,7 @@ compilable_contracts() ->
      "patterns_guards",
      "pipe_operator",
      "contract_polymorphism",
+     "contract_polymorphism_multi_interface",
      "contract_interface_polymorphism",
      "test" % Custom general-purpose test file. Keep it last on the list.
     ].
diff --git a/test/contracts/contract_polymorphism_multi_interface.aes b/test/contracts/contract_polymorphism_multi_interface.aes
new file mode 100644
index 0000000..42349b1
--- /dev/null
+++ b/test/contracts/contract_polymorphism_multi_interface.aes
@@ -0,0 +1,9 @@
+contract interface I =
+    entrypoint f : () => int
+
+contract interface J =
+    entrypoint g : () => char
+
+contract C : I, J =
+    entrypoint f() = 1
+    entrypoint g() = 'c'