diff options
Diffstat (limited to 'testsuite/tests/backpack')
| -rw-r--r-- | testsuite/tests/backpack/should_fail/bkpfail24.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/backpack/should_fail/bkpfail44.stderr | 2 |
2 files changed, 2 insertions, 2 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: diff --git a/testsuite/tests/backpack/should_fail/bkpfail44.stderr b/testsuite/tests/backpack/should_fail/bkpfail44.stderr index 127083f453..c16b2f2527 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail44.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail44.stderr @@ -6,7 +6,7 @@ bkpfail44.bkp:10:15: error: • Could not deduce: a ~ b from the context: Coercible (T a) (T b) bound by the type signature for: - f :: Coercible (T a) (T b) => a -> b + f :: forall a b. Coercible (T a) (T b) => a -> b at bkpfail44.bkp:9:9-44 ‘a’ is a rigid type variable bound by the type signature for: |