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'