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