summaryrefslogtreecommitdiff
path: root/testsuite/tests/backpack/should_fail/bkpfail10.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/backpack/should_fail/bkpfail10.stderr')
-rw-r--r--testsuite/tests/backpack/should_fail/bkpfail10.stderr28
1 files changed, 14 insertions, 14 deletions
diff --git a/testsuite/tests/backpack/should_fail/bkpfail10.stderr b/testsuite/tests/backpack/should_fail/bkpfail10.stderr
index 78ceaffb30..abd3a1b6ba 100644
--- a/testsuite/tests/backpack/should_fail/bkpfail10.stderr
+++ b/testsuite/tests/backpack/should_fail/bkpfail10.stderr
@@ -1,28 +1,28 @@
[1 of 3] Processing p
- [1 of 1] Compiling H[sig] ( p/H.hsig, nothing )
+ [1 of 1] Compiling H[sig] ( p\H.hsig, nothing )
[2 of 3] Processing q
Instantiating q
- [1 of 1] Compiling H ( q/H.hs, bkpfail10.out/q/H.o )
+ [1 of 1] Compiling H ( q\H.hs, bkpfail10.out\q\H.o )
[3 of 3] Processing r
Instantiating r
[1 of 2] Including p[H=q:H]
Instantiating p[H=q:H]
- [1 of 1] Compiling H[sig] ( p/H.hsig, bkpfail10.out/p/p-D5Mg3foBSCrDbQDKH4WGSG/H.o )
+ [1 of 1] Compiling H[sig] ( p\H.hsig, bkpfail10.out\p\p-D5Mg3foBSCrDbQDKH4WGSG\H.o )
-bkpfail10.bkp:8:9: error:
+bkpfail10.bkp:8:9: error: [GHC-15843]
• Type constructor ‘H’ has conflicting definitions in the module
- and its hsig file
+ and its hsig file.
Main module: type H :: * -> *
data H a = H a
- Hsig file: type H :: *
- data H
- The types have different kinds
- • while checking that q:H implements signature H in p[H=q:H]
+ Hsig file: type H :: *
+ data H
+ The types have different kinds.
+ • While checking that ‘q:H’ implements signature ‘H’ in ‘p[H=q:H]’.
-bkpfail10.bkp:10:9: error:
+bkpfail10.bkp:10:9: error: [GHC-11890]
• Identifier ‘f’ has conflicting definitions in the module
- and its hsig file
+ and its hsig file.
Main module: f :: H a -> H a
- Hsig file: f :: H -> H
- The two types are different
- • while checking that q:H implements signature H in p[H=q:H]
+ Hsig file: f :: H -> H
+ The two types are different.
+ • While checking that ‘q:H’ implements signature ‘H’ in ‘p[H=q:H]’.