diff options
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/compiler/check/cyclic/abs-types/Test3Abs.gf | 11 | ||||
| -rw-r--r-- | testsuite/compiler/check/cyclic/abs-types/test3.gfs | 1 |
2 files changed, 12 insertions, 0 deletions
diff --git a/testsuite/compiler/check/cyclic/abs-types/Test3Abs.gf b/testsuite/compiler/check/cyclic/abs-types/Test3Abs.gf new file mode 100644 index 000000000..fff9eaf89 --- /dev/null +++ b/testsuite/compiler/check/cyclic/abs-types/Test3Abs.gf @@ -0,0 +1,11 @@ +abstract Test3Abs = { + +cat A ; + +fun f : A -> A ; +def f = g ; + +fun g : A -> A ; +def g = f ; + +}
\ No newline at end of file diff --git a/testsuite/compiler/check/cyclic/abs-types/test3.gfs b/testsuite/compiler/check/cyclic/abs-types/test3.gfs new file mode 100644 index 000000000..b58ca33dc --- /dev/null +++ b/testsuite/compiler/check/cyclic/abs-types/test3.gfs @@ -0,0 +1 @@ +i -src testsuite/compiler/check/cyclic/abs-types/Test3Abs.gf
\ No newline at end of file |