From 90a8f16e5f1d852f21fbbaf2b0631d348973152a Mon Sep 17 00:00:00 2001
From: "Juan J. Martinez" <jjm@usebox.net>
Date: Tue, 30 Aug 2022 23:21:50 +0100
Subject: Check undefined types

---
 test/Language.hs | 24 +++++++++++++++++++++++-
 1 file changed, 23 insertions(+), 1 deletion(-)

(limited to 'test')

diff --git a/test/Language.hs b/test/Language.hs
index 448e6ad..12c724a 100644
--- a/test/Language.hs
+++ b/test/Language.hs
@@ -253,6 +253,26 @@ testCase20 =
         \}\n"
         E.Undefined
 
+testCase21 =
+  TestLabel "undefined type in function parameters" $
+    TestCase $
+      expectError
+        "module main\n\
+        \def fn(a: undef): bool {\n\
+        \return true;\n\
+        \}\n"
+        E.UndefinedType
+
+testCase22 =
+  TestLabel "undefined type in function return type" $
+    TestCase $
+      expectError
+        "module main\n\
+        \def fn(): undef {\n\
+        \return true;\n\
+        \}\n"
+        E.UndefinedType
+
 language =
   [ testCase2,
     testCase3,
@@ -272,5 +292,7 @@ language =
     testCase17,
     testCase18,
     testCase19,
-    testCase20
+    testCase20,
+    testCase21,
+    testCase22
   ]
-- 
cgit v1.2.3