summaryrefslogtreecommitdiff
path: root/testsuite/tests/backpack/should_fail/bkpfail52.bkp
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/backpack/should_fail/bkpfail52.bkp')
-rw-r--r--testsuite/tests/backpack/should_fail/bkpfail52.bkp11
1 files changed, 11 insertions, 0 deletions
diff --git a/testsuite/tests/backpack/should_fail/bkpfail52.bkp b/testsuite/tests/backpack/should_fail/bkpfail52.bkp
new file mode 100644
index 0000000000..da5a3c0822
--- /dev/null
+++ b/testsuite/tests/backpack/should_fail/bkpfail52.bkp
@@ -0,0 +1,11 @@
+unit p where
+ signature H where
+ data T = T Int
+unit q where
+ dependency p[H=<A>]
+ module B where
+ data T = T Bool
+ signature A where
+ import qualified B
+ type T = B.T
+-- signatures don't merge