diff options
| author | krasimir <krasimir@chalmers.se> | 2010-02-16 20:27:07 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-02-16 20:27:07 +0000 |
| commit | d09b05ab3f4ff46f851ac043e7d6989f3022aa13 (patch) | |
| tree | b9f8217844363cb714e07b3a89ac25c84c56d8bc | |
| parent | 376f9854096e912f1e5f035acf9109a29f70e44e (diff) | |
one more test for cyclic def rules
| -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 |