diff options
Diffstat (limited to 'testsuite/tests/quantified-constraints/T21006.stderr')
| -rw-r--r-- | testsuite/tests/quantified-constraints/T21006.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/quantified-constraints/T21006.stderr b/testsuite/tests/quantified-constraints/T21006.stderr index aa5c5ef9a2..6be755e4b0 100644 --- a/testsuite/tests/quantified-constraints/T21006.stderr +++ b/testsuite/tests/quantified-constraints/T21006.stderr @@ -1,7 +1,7 @@ T21006.hs:14:10: error: - • Couldn't match kind ‘Constraint’ with ‘*’ - When matching types - b :: * - c :: Constraint + • Could not deduce c + arising from the superclasses of an instance declaration + from the context: (Determines b, Determines c) + bound by a quantified context at T21006.hs:14:10-15 • In the instance declaration for ‘OpCode’ |