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