1 files changed, 21 insertions, 0 deletions
diff --git a/testsuite/tests/backpack/should_compile/bkp42.bkp b/testsuite/tests/backpack/should_compile/bkp42.bkp
new file mode 100644
index 0000000000..59590f9125
--- /dev/null
+++ b/testsuite/tests/backpack/should_compile/bkp42.bkp
@@ -0,0 +1,21 @@
+unit impl where
+    module A where
+        data T = T
+    module B(module A, module B) where
+        import A
+        instance Show T where
+            show T = "T"
+    module C(module B) where
+        import B
+
+unit sig where
+    signature B where
+        data T
+        instance Show T
+    module App where
+        import B
+        app :: T -> IO ()
+        app t = print t
+
+unit main where
+    dependency sig[B=impl:C]