Detect cycles in type declarations

[tiger.ml.git] / compiler / src / lib / tiger / tiger_test_cases.ml

diff --git a/compiler/src/lib/tiger/tiger_test_cases.ml b/compiler/src/lib/tiger/tiger_test_cases.ml
index 73b1a26..082e02f 100644 (file)
--- a/compiler/src/lib/tiger/tiger_test_cases.ml
+++ b/compiler/src/lib/tiger/tiger_test_cases.ml
@@ -96,6 +96,30 @@ let micro =
             lst \n\
           end"
     )
+  ; ( Test.case
+        "Cycle in type dec"
+        ~code:"\
+          let \n\
+            type a = b \n\
+            type b = a \n\
+          in \n\
+          end \
+        "
+        ~is_error_expected_semant:(Some Error.is_cycle_in_type_dec)
+    )
+  ; ( Test.case
+        "Cycle in type dec"
+        ~code:"\
+          let \n\
+            type a = b \n\
+            type b = c \n\
+            type c = a \n\
+            var x : a := 1 \n\
+          in \n\
+          end \
+        "
+        ~is_error_expected_semant:(Some Error.is_cycle_in_type_dec)
+    )
   ]
 
 let book ~dir =