From a33620210a161a20b60a138a0b984a5336a45f2d Mon Sep 17 00:00:00 2001
From: "Juan J. Martinez" <jjm@usebox.net>
Date: Sun, 4 Sep 2022 08:21:31 +0100
Subject: Type-checking variable declaration

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

(limited to 'test')

diff --git a/test/Language.hs b/test/Language.hs
index 19ec5bf..84c72ae 100644
--- a/test/Language.hs
+++ b/test/Language.hs
@@ -309,6 +309,22 @@ testCaseE12 =
         \var a: undef = 1;\n"
         E.UndefinedType
 
+testCaseE13 =
+  TestLabel "type mismatch in variable declaration" $
+    TestCase $
+      expectError
+        "module main\n\
+        \var a: bool = 0;\n"
+        E.TypeError
+
+testCaseE14 =
+  TestLabel "type mismatch in variable declaration (lambda)" $
+    TestCase $
+      expectError
+        "module main\n\
+        \var a: bool = (a:u8): u8 { return a; };\n"
+        E.TypeError
+
 language =
   [ testCase2,
     testCase3,
@@ -334,5 +350,7 @@ language =
     testCaseE9,
     testCaseE10,
     testCaseE11,
-    testCaseE12
+    testCaseE12,
+    testCaseE13,
+    testCaseE14
   ]
-- 
cgit v1.2.3