added test cases for cyrcular definitions

2026-06-29 18:48:35 -06:00 · 2009-10-28 17:59:18 +00:00
parent c330cac1db
commit 0fb91bbb2f
12 changed files with 54 additions and 0 deletions
@@ -0,0 +1,7 @@
+abstract Test1Abs = {
+
+cat
+  A B ;
+  B A ;
+
+}
@@ -0,0 +1,10 @@
+abstract Test2Abs = {
+
+cat
+  A ;
+  B A ;
+
+fun f : (x : A) -> B (g x) ;
+    g : (x : A) -> B (f x) ;
+
+}
@@ -0,0 +1 @@
+i testsuite/compiler/check/cyclic/abs-types/Test1Abs.gf
@@ -0,0 +1,4 @@
+
+
+
+
@@ -0,0 +1 @@
+i testsuite/compiler/check/cyclic/abs-types/Test2Abs.gf
@@ -0,0 +1,4 @@
+
+
+
+
@@ -0,0 +1,10 @@
+resource TestOpers = {
+
+flags
+  optimize=noexpand;
+
+oper
+  A : Str = B ;
+  B : Str = A ;
+
+}
@@ -0,0 +1 @@
+i testsuite/compiler/check/cyclic/opers/TestOpers.gf
@@ -0,0 +1,4 @@
+
+
+
+
@@ -0,0 +1,7 @@
+resource TestParams = {
+
+param
+  A = A1 B ;
+  B = B1 A ;
+
+}
@@ -0,0 +1 @@
+i testsuite/compiler/check/cyclic/params/TestParams.gf
@@ -0,0 +1,4 @@
+
+
+
+
				`@@ -0,0 +1 @@`
				`i testsuite/compiler/check/cyclic/abs-types/Test1Abs.gf`
				`@@ -0,0 +1 @@`
				`i testsuite/compiler/check/cyclic/opers/TestOpers.gf`
				`@@ -0,0 +1 @@`
				`i testsuite/compiler/check/cyclic/params/TestParams.gf`