From cd9bd7decd25301a6da01fd97feed1cc33cfabbf Mon Sep 17 00:00:00 2001
From: "Juan J. Martinez" <jjm@usebox.net>
Date: Tue, 6 Sep 2022 22:53:08 +0100
Subject: Typecheck binary operator

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

(limited to 'test')

diff --git a/test/Language.hs b/test/Language.hs
index 0b7d6ac..2347b0e 100644
--- a/test/Language.hs
+++ b/test/Language.hs
@@ -379,6 +379,14 @@ testCaseE16 =
         \a = false;"
         E.TypeError
 
+testCaseE17 =
+  TestLabel "type mismatch in binary operator" $
+    TestCase $
+      expectError
+        "module main\n\
+        \1 + false;\n"
+        E.TypeError
+
 language =
   [ testCase2,
     testCase3,
@@ -412,5 +420,6 @@ language =
     testCaseE13,
     testCaseE14,
     testCaseE15,
-    testCaseE16
+    testCaseE16,
+    testCaseE17
   ]
-- 
cgit v1.2.3