diff options
Diffstat (limited to 'testsuite/tests/backpack/should_fail/bkpfail53.stderr')
-rw-r--r-- | testsuite/tests/backpack/should_fail/bkpfail53.stderr | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/testsuite/tests/backpack/should_fail/bkpfail53.stderr b/testsuite/tests/backpack/should_fail/bkpfail53.stderr new file mode 100644 index 0000000000..b694bc57ff --- /dev/null +++ b/testsuite/tests/backpack/should_fail/bkpfail53.stderr @@ -0,0 +1,17 @@ +[1 of 2] Processing p + [1 of 2] Compiling H[sig] ( p/H.hsig, nothing ) + [2 of 2] Compiling I ( p/I.hs, nothing ) +[2 of 2] Processing q + [1 of 4] Compiling B ( q/B.hs, nothing ) + [2 of 4] Compiling A[sig] ( q/A.hsig, nothing ) + +bkpfail53.bkp:15:9: error: + • Type constructor ‘T’ has conflicting definitions in the module + and its hsig file + Main module: type T :: * + type T = B.T + Hsig file: type T :: * + data T = T Int + • while merging the signatures from: + • p[H=<A>]:H + • ...and the local signature for A |