summaryrefslogtreecommitdiff
path: root/testsuite/tests/backpack/should_fail/bkpfail06.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/backpack/should_fail/bkpfail06.stderr')
-rw-r--r--testsuite/tests/backpack/should_fail/bkpfail06.stderr11
1 files changed, 6 insertions, 5 deletions
diff --git a/testsuite/tests/backpack/should_fail/bkpfail06.stderr b/testsuite/tests/backpack/should_fail/bkpfail06.stderr
index c050944284..27e0ddf006 100644
--- a/testsuite/tests/backpack/should_fail/bkpfail06.stderr
+++ b/testsuite/tests/backpack/should_fail/bkpfail06.stderr
@@ -12,8 +12,9 @@
[1 of 2] Compiling H[sig] ( p/H.hsig, bkpfail06.out/p/p-IueY0RdHDM2I4k0mLZuqM0/H.o )
bkpfail06.bkp:10:9: error:
- Type constructor ‘T’ has conflicting definitions in the module
- and its hsig file
- Main module: data T = T GHC.Types.Bool
- Hsig file: data T = T GHC.Types.Int
- The constructors do not match: The types for ‘T’ differ
+ • Type constructor ‘T’ has conflicting definitions in the module
+ and its hsig file
+ Main module: data T = T GHC.Types.Bool
+ Hsig file: data T = T GHC.Types.Int
+ The constructors do not match: The types for ‘T’ differ
+ • while checking that qimpl:H implements signature H in p[H=qimpl:H]