X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_test_cases.ml;fp=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_test_cases.ml;h=1ead5f5226aa2e197513083e34ed47f606b4324d;hp=082e02f56393b6c0ee131af90a20979b37307df5;hb=35dccbd3999a8c3bb1dc9e96e21b69a39f44fc6f;hpb=e6e82c0866db4eb08f956b2582e5c2ed5399e986

diff --git a/compiler/src/lib/tiger/tiger_test_cases.ml b/compiler/src/lib/tiger/tiger_test_cases.ml
index 082e02f..1ead5f5 100644
--- a/compiler/src/lib/tiger/tiger_test_cases.ml
+++ b/compiler/src/lib/tiger/tiger_test_cases.ml
@@ -120,6 +120,30 @@ let micro =
         "
         ~is_error_expected_semant:(Some Error.is_cycle_in_type_dec)
     )
+  ; ( Test.case
+        "Break outside loop"
+        ~code:
+          "break"
+        ~is_error_expected_semant:(Some Error.is_break_outside_loop)
+    )
+  ; ( Test.case
+        "Break within for loop"
+        ~code:"for i := 0 to 5 do (print(\"x\"); break)"
+    )
+  ; ( Test.case
+        "Break after for loop"
+        ~code:"(for i := 0 to 5 do (print(\"x\"); break); break)"
+        ~is_error_expected_semant:(Some Error.is_break_outside_loop)
+    )
+  ; ( Test.case
+        "Break within while loop"
+        ~code:"while 1 do (print(\"x\"); break)"
+    )
+  ; ( Test.case
+        "Break after while loop"
+        ~code:"(while 1 do (print(\"x\"); break); break)"
+        ~is_error_expected_semant:(Some Error.is_break_outside_loop)
+    )
   ]
 
 let book ~dir =