From 259bae1720d8b9027406bf799001eb79c2ad95a5 Mon Sep 17 00:00:00 2001
From: Ulf Norell <ulf.norell@gmail.com>
Date: Thu, 27 Jun 2019 09:13:10 +0200
Subject: [PATCH] Test case for another name space bug

---
 test/contracts/namespace_bug.aes | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/test/contracts/namespace_bug.aes b/test/contracts/namespace_bug.aes
index 62ad202..6a0156a 100644
--- a/test/contracts/namespace_bug.aes
+++ b/test/contracts/namespace_bug.aes
@@ -8,5 +8,11 @@ namespace Foo =
 contract Bug =
 
   // Crashed the type checker
-  function foo () = Foo.bar()
+  function foo() = Foo.bar()
 
+  // Also crashed the type checker
+  type t = Foo.bla
+
+  function test() =
+    let x : t = Foo.bar()
+    x