1 files changed, 28 insertions, 0 deletions
diff --git a/testsuite/tests/backpack/should_compile/bkp25.bkp b/testsuite/tests/backpack/should_compile/bkp25.bkp
new file mode 100644
index 0000000000..fb26323d54
--- /dev/null
+++ b/testsuite/tests/backpack/should_compile/bkp25.bkp
@@ -0,0 +1,28 @@
+unit p where
+    signature A(A) where
+        data A
+    signature B(A) where
+        import A
+    module P where
+        import A
+        import B
+        type ZZ = A
+
+unit r where
+    module Impl where
+        data A = A
+
+unit q where
+    dependency p[A=<A>,B=<B>]
+    dependency r
+    signature A(A) where
+        import Impl(A)
+    signature B(A) where
+        import Impl(A)
+    module M where
+        import A
+        import B
+        import P
+        type AA = A
+        f :: ZZ -> AA
+        f x = x