From 007b1e966d4234f2fbdc8f21d53b27dec0060b5e Mon Sep 17 00:00:00 2001
From: "Juan J. Martinez" <jjm@usebox.net>
Date: Tue, 16 Aug 2022 23:37:40 +0100
Subject: Unexpected return error

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

(limited to 'test')

diff --git a/test/Language.hs b/test/Language.hs
index 7892c16..9da3124 100644
--- a/test/Language.hs
+++ b/test/Language.hs
@@ -183,4 +183,29 @@ testCase12 =
         Nothing -> assertFailure "expected error, didn't happen"
         Just (E.TypeError _ _) -> return $ ()
 
-language = [testCase1, testCase2, testCase3, testCase4, testCase5, testCase6, testCase7, testCase8, testCase9, testCase10, testCase11, testCase12]
+testCase13 =
+  TestLabel "return without function" $
+    TestCase $ do
+      e <-
+        expectError
+          "module main\n\
+          \return;"
+      case e of
+        Nothing -> assertFailure "expected error, didn't happen"
+        Just (E.UnexpectedReturn _ _) -> return $ ()
+
+language =
+  [ testCase1,
+    testCase2,
+    testCase3,
+    testCase4,
+    testCase5,
+    testCase6,
+    testCase7,
+    testCase8,
+    testCase9,
+    testCase10,
+    testCase11,
+    testCase12,
+    testCase13
+  ]
-- 
cgit v1.2.3