Mark previously failing backpack tests as passing, with correct output.

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

1 files changed, 4 insertions, 3 deletions

diff --git a/testsuite/tests/backpack/should_fail/bkpfail07.bkp b/testsuite/tests/backpack/should_fail/bkpfail07.bkp
index cbbd95b272..e386818976 100644
--- a/testsuite/tests/backpack/should_fail/bkpfail07.bkp
+++ b/testsuite/tests/backpack/should_fail/bkpfail07.bkp
@@ -1,10 +1,11 @@
 unit p where
     signature H where
         data T = T Int
-unit q where
-    signature A where -- indefinite version
+unit h where
     module T where
         data T = T Bool
     module H(T(..)) where
         import T
-    dependency p[H=<H>]
+    signature A where -- indefinite version
+unit q where
+    dependency p[H=h[A=<A>]:H]