Better test coverage for module reexports in signatures.

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>

1 files changed, 11 insertions, 0 deletions

diff --git a/testsuite/tests/backpack/should_fail/bkpfail49.bkp b/testsuite/tests/backpack/should_fail/bkpfail49.bkp
new file mode 100644
index 0000000000..a30a1f8618
--- /dev/null
+++ b/testsuite/tests/backpack/should_fail/bkpfail49.bkp
@@ -0,0 +1,11 @@
+unit p where
+    signature A (module Data.Bool) where
+        import Data.Bool
+
+unit q where
+    dependency signature p[A=<A>]
+    signature A (module Data.Bool) where
+        import Data.Bool ()
+    module M where
+        import qualified A
+        x = A.True -- should not exist!