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() -> [<> ]) + , ?TYPE_ERROR(using_namespace_ambiguous_name, + [ <> + , <> + ]) ]. -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()