diff options
Diffstat (limited to 'testsuite/tests/backpack/should_fail/bkpfail10.stderr')
| -rw-r--r-- | testsuite/tests/backpack/should_fail/bkpfail10.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/backpack/should_fail/bkpfail10.stderr b/testsuite/tests/backpack/should_fail/bkpfail10.stderr index c5214513b4..70b0853dc5 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail10.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail10.stderr @@ -13,7 +13,7 @@ bkpfail10.bkp:8:9: error: • Type constructor ‘H’ has conflicting definitions in the module and its hsig file Main module: data H a = H a - Hsig file: {- skolem -} data H + Hsig file: data H The types have different kinds • while checking that q:H implements signature H in p[H=q:H] |