From d09b05ab3f4ff46f851ac043e7d6989f3022aa13 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Tue, 16 Feb 2010 20:27:07 +0000
Subject: [PATCH] one more test for cyclic def rules

---
 testsuite/compiler/check/cyclic/abs-types/Test3Abs.gf | 11 +++++++++++
 testsuite/compiler/check/cyclic/abs-types/test3.gfs   |  1 +
 2 files changed, 12 insertions(+)
 create mode 100644 testsuite/compiler/check/cyclic/abs-types/Test3Abs.gf
 create mode 100644 testsuite/compiler/check/cyclic/abs-types/test3.gfs

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