diff options
| -rw-r--r-- | testsuite/compiler/check/cyclic/opers/TestOperTypes.gf | 10 | ||||
| -rw-r--r-- | testsuite/compiler/check/cyclic/opers/test.gfs | 3 | ||||
| -rw-r--r-- | testsuite/compiler/check/cyclic/opers/test.gfs.gold | 4 |
3 files changed, 16 insertions, 1 deletions
diff --git a/testsuite/compiler/check/cyclic/opers/TestOperTypes.gf b/testsuite/compiler/check/cyclic/opers/TestOperTypes.gf new file mode 100644 index 000000000..dfb5e32b9 --- /dev/null +++ b/testsuite/compiler/check/cyclic/opers/TestOperTypes.gf @@ -0,0 +1,10 @@ +resource TestOperTypes = { + +flags + optimize=noexpand; + +oper + A : T = Str ; + T : Type = 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 index ca449eee0..483d34bc7 100644 --- a/testsuite/compiler/check/cyclic/opers/test.gfs +++ b/testsuite/compiler/check/cyclic/opers/test.gfs @@ -1 +1,2 @@ -i -src testsuite/compiler/check/cyclic/opers/TestOpers.gf
\ No newline at end of file +i -src testsuite/compiler/check/cyclic/opers/TestOpers.gf +i -src testsuite/compiler/check/cyclic/opers/TestOperTypes.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 index d09ec7edd..f2a1e5c22 100644 --- a/testsuite/compiler/check/cyclic/opers/test.gfs.gold +++ b/testsuite/compiler/check/cyclic/opers/test.gfs.gold @@ -2,3 +2,7 @@ checking module TestOpers
circular definitions: A B
+
+
+checking module TestOperTypes
+ circular definitions: A T
|