1 files changed, 21 insertions, 0 deletions
diff --git a/testsuite/tests/backpack/should_fail/bkpfail53.bkp b/testsuite/tests/backpack/should_fail/bkpfail53.bkp
new file mode 100644
index 0000000000..47e7c4593c
--- /dev/null
+++ b/testsuite/tests/backpack/should_fail/bkpfail53.bkp
@@ -0,0 +1,21 @@
+
+unit p where
+    signature H where
+        data T = T Int
+    module I(module H) where
+        import H
+        x :: Int -> T
+        x = T
+unit q where
+    dependency p[H=<A>]
+    module B where
+        data T = T Bool
+    signature A where
+        import qualified B
+        type T = B.T
+    module C where
+        import qualified B
+        import qualified I
+        x :: Int -> B.T
+        x = I.x
+-- signatures don't merge