diff options
Diffstat (limited to 'testsuite/tests/backpack/should_fail/bkpfail24.stderr')
| -rw-r--r-- | testsuite/tests/backpack/should_fail/bkpfail24.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/backpack/should_fail/bkpfail24.stderr b/testsuite/tests/backpack/should_fail/bkpfail24.stderr index 53312d23fe..ef6a7d6c01 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail24.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail24.stderr @@ -7,7 +7,7 @@ bkpfail24.bkp:14:15: error: • Could not deduce: a ~ b from the context: {H1.T} ~ {H2.T} bound by the type signature for: - f :: {H1.T} ~ {H2.T} => a -> b + f :: forall a b. {H1.T} ~ {H2.T} => a -> b at bkpfail24.bkp:13:9-34 ‘a’ is a rigid type variable bound by the type signature for: |