From 5ef068f1ff19fdbe28a9d388d4eb1a0c10534828 Mon Sep 17 00:00:00 2001
From: Gaith Hallak <gaithhallak@gmail.com>
Date: Wed, 18 Aug 2021 19:27:02 +0300
Subject: [PATCH] Add a test for using undefined namespaces

---
 test/aeso_compiler_tests.erl                 | 4 ++++
 test/contracts/using_namespace_undefined.aes | 4 ++++
 2 files changed, 8 insertions(+)
 create mode 100644 test/contracts/using_namespace_undefined.aes

diff --git a/test/aeso_compiler_tests.erl b/test/aeso_compiler_tests.erl
index 646177b..ab66966 100644
--- a/test/aeso_compiler_tests.erl
+++ b/test/aeso_compiler_tests.erl
@@ -794,6 +794,10 @@ failing_contracts() ->
                   , <<?Pos(21,23)
                       "Unbound variable f at line 21, column 23">>
                   ])
+    , ?TYPE_ERROR(using_namespace_undefined,
+                  [<<?Pos(2,3)
+                     "Cannot use undefined namespace MyUndefinedNamespace">>
+                  ])
     ].
 
 -define(Path(File), "code_errors/" ??File).
diff --git a/test/contracts/using_namespace_undefined.aes b/test/contracts/using_namespace_undefined.aes
new file mode 100644
index 0000000..130fd92
--- /dev/null
+++ b/test/contracts/using_namespace_undefined.aes
@@ -0,0 +1,4 @@
+contract C =
+  using MyUndefinedNamespace
+
+  entrypoint init() = ()