1 files changed, 18 insertions, 0 deletions
diff --git a/testsuite/tests/backpack/should_compile/bkp18.bkp b/testsuite/tests/backpack/should_compile/bkp18.bkp
new file mode 100644
index 0000000000..db8bf262b7
--- /dev/null
+++ b/testsuite/tests/backpack/should_compile/bkp18.bkp
@@ -0,0 +1,18 @@
+unit r where
+    signature H where
+        data Foo = Foo
+    -- NB: Foo here gets compiled into Foo{v} on the RHS, referring
+    -- to the DataCon wrapper!
+    -- (There should be a test for type class too)
+    module M where
+        import H
+        d = Foo
+
+unit h-impl where
+    module A where
+        data Foo = Foo
+    module H(Foo(..)) where
+        import A
+
+unit s where
+    dependency r[H=h-impl:H]