Ban using contracts as namespaces

2022-11-18 16:59:57 +03:00 · 2022-11-18 16:59:57 +03:00 · 3b7f083817
commit 3b7f083817
parent 9e95e8efb6
1 changed files with 4 additions and 0 deletions
--- a/src/aeso_ast_infer_types.erl
+++ b/src/aeso_ast_infer_types.erl
@ -1257,6 +1257,10 @@ check_usings(Env = #env{ used_namespaces = UsedNamespaces }, [{using, Ann, Con,
            create_type_errors(),
            type_error({using_undefined_namespace, Ann, qname(Con)}),
            destroy_and_report_type_errors(Env);
+        #scope{kind = contract} ->
+            create_type_errors(),
+            type_error({using_undefined_namespace, Ann, qname(Con)}),
+            destroy_and_report_type_errors(Env);
        Scope ->
            Nsp = case Parts of
                      none ->