diff --git a/testsuite/compiler/check/cyclic/abs-types/Test1Abs.gf b/testsuite/compiler/check/cyclic/abs-types/Test1Abs.gf new file mode 100644 index 000000000..8358c6928 --- /dev/null +++ b/testsuite/compiler/check/cyclic/abs-types/Test1Abs.gf @@ -0,0 +1,7 @@ +abstract Test1Abs = { + +cat + A B ; + B A ; + +} \ No newline at end of file diff --git a/testsuite/compiler/check/cyclic/abs-types/Test2Abs.gf b/testsuite/compiler/check/cyclic/abs-types/Test2Abs.gf new file mode 100644 index 000000000..c395739bc --- /dev/null +++ b/testsuite/compiler/check/cyclic/abs-types/Test2Abs.gf @@ -0,0 +1,10 @@ +abstract Test2Abs = { + +cat + A ; + B A ; + +fun f : (x : A) -> B (g x) ; + g : (x : A) -> B (f x) ; + +} \ No newline at end of file diff --git a/testsuite/compiler/check/cyclic/abs-types/test1.gfs b/testsuite/compiler/check/cyclic/abs-types/test1.gfs new file mode 100644 index 000000000..a220a2663 --- /dev/null +++ b/testsuite/compiler/check/cyclic/abs-types/test1.gfs @@ -0,0 +1 @@ +i testsuite/compiler/check/cyclic/abs-types/Test1Abs.gf \ No newline at end of file diff --git a/testsuite/compiler/check/cyclic/abs-types/test1.gfs.gold b/testsuite/compiler/check/cyclic/abs-types/test1.gfs.gold new file mode 100644 index 000000000..b8bde0be7 --- /dev/null +++ b/testsuite/compiler/check/cyclic/abs-types/test1.gfs.gold @@ -0,0 +1,4 @@ + + +checking module Test1Abs + circular definitions: A B diff --git a/testsuite/compiler/check/cyclic/abs-types/test2.gfs b/testsuite/compiler/check/cyclic/abs-types/test2.gfs new file mode 100644 index 000000000..889107319 --- /dev/null +++ b/testsuite/compiler/check/cyclic/abs-types/test2.gfs @@ -0,0 +1 @@ +i testsuite/compiler/check/cyclic/abs-types/Test2Abs.gf \ No newline at end of file diff --git a/testsuite/compiler/check/cyclic/abs-types/test2.gfs.gold b/testsuite/compiler/check/cyclic/abs-types/test2.gfs.gold new file mode 100644 index 000000000..4caf3ae2c --- /dev/null +++ b/testsuite/compiler/check/cyclic/abs-types/test2.gfs.gold @@ -0,0 +1,4 @@ + + +checking module Test2Abs + circular definitions: f g diff --git a/testsuite/compiler/check/cyclic/opers/TestOpers.gf b/testsuite/compiler/check/cyclic/opers/TestOpers.gf new file mode 100644 index 000000000..886458b3f --- /dev/null +++ b/testsuite/compiler/check/cyclic/opers/TestOpers.gf @@ -0,0 +1,10 @@ +resource TestOpers = { + +flags + optimize=noexpand; + +oper + A : Str = B ; + B : Str = A ; + +} \ No newline at end of file diff --git a/testsuite/compiler/check/cyclic/opers/test.gfs b/testsuite/compiler/check/cyclic/opers/test.gfs new file mode 100644 index 000000000..5c469f036 --- /dev/null +++ b/testsuite/compiler/check/cyclic/opers/test.gfs @@ -0,0 +1 @@ +i testsuite/compiler/check/cyclic/opers/TestOpers.gf \ No newline at end of file diff --git a/testsuite/compiler/check/cyclic/opers/test.gfs.gold b/testsuite/compiler/check/cyclic/opers/test.gfs.gold new file mode 100644 index 000000000..d09ec7edd --- /dev/null +++ b/testsuite/compiler/check/cyclic/opers/test.gfs.gold @@ -0,0 +1,4 @@ + + +checking module TestOpers + circular definitions: A B diff --git a/testsuite/compiler/check/cyclic/params/TestParams.gf b/testsuite/compiler/check/cyclic/params/TestParams.gf new file mode 100644 index 000000000..5f268db66 --- /dev/null +++ b/testsuite/compiler/check/cyclic/params/TestParams.gf @@ -0,0 +1,7 @@ +resource TestParams = { + +param + A = A1 B ; + B = B1 A ; + +} \ No newline at end of file diff --git a/testsuite/compiler/check/cyclic/params/test.gfs b/testsuite/compiler/check/cyclic/params/test.gfs new file mode 100644 index 000000000..120ad77ce --- /dev/null +++ b/testsuite/compiler/check/cyclic/params/test.gfs @@ -0,0 +1 @@ +i testsuite/compiler/check/cyclic/params/TestParams.gf \ No newline at end of file diff --git a/testsuite/compiler/check/cyclic/params/test.gfs.gold b/testsuite/compiler/check/cyclic/params/test.gfs.gold new file mode 100644 index 000000000..bcd6a118e --- /dev/null +++ b/testsuite/compiler/check/cyclic/params/test.gfs.gold @@ -0,0 +1,4 @@ + + +checking module TestParams + circular definitions: A B