From 58767c2f0219d1ddd55348dc418f05b87007fafd Mon Sep 17 00:00:00 2001
From: JoJo <jo@jo.zone>
Date: Tue, 11 Oct 2022 09:37:13 +0200
Subject: [PATCH] Add test case for loop bug related to recursive data

Unfixed
---
 test/tests/bad/data-direct-recursion-loop-bug.carth | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 test/tests/bad/data-direct-recursion-loop-bug.carth

diff --git a/test/tests/bad/data-direct-recursion-loop-bug.carth b/test/tests/bad/data-direct-recursion-loop-bug.carth
new file mode 100644
index 0000000..b7c4f9b
--- /dev/null
+++ b/test/tests/bad/data-direct-recursion-loop-bug.carth
@@ -0,0 +1,9 @@
+;; RecTypeDef
+
+;; Correctly returns error
+;; (data B (C A))
+;; (data A (D A))
+
+;; Infinite loop in type checker (?)
+(data A (C B))
+(data B (D B))
-- 
2.45.2