1 files changed, 16 insertions, 0 deletions
diff --git a/testsuite/tests/backpack/should_compile/bkp31.bkp b/testsuite/tests/backpack/should_compile/bkp31.bkp
new file mode 100644
index 0000000000..4816dfaa1d
--- /dev/null
+++ b/testsuite/tests/backpack/should_compile/bkp31.bkp
@@ -0,0 +1,16 @@
+-- Paper example from Backpack'14
+
+unit ab-sigs where
+    signature A where
+        x :: Bool
+    signature B where
+        y :: Bool
+
+unit abcd-holes where
+    dependency ab-sigs[A=<A>,B=<B>]
+    module C where
+        x = False
+    module D where
+        import qualified A
+        import qualified C
+        z = A.x && C.x