diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotLast.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotLast.stderr | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotLast.stderr b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotLast.stderr index faf3ad1f84..3ffcb187ac 100644 --- a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotLast.stderr +++ b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotLast.stderr @@ -1,6 +1,6 @@ - -ExtraConstraintsWildcardNotLast.hs:4:9: - Invalid partial type: (_, Eq a) => a -> a - An extra-constraints wild card must occur - at the end of the constraints - In the type signature for ‘foo’ +
+ExtraConstraintsWildcardNotLast.hs:4:9: error:
+ Wildcard ‘_’ not allowed in a constraint
+ except as the last top-level constraint of a type signature
+ e.g f :: (Eq a, _) => blah
+ in the type signature for ‘foo’
|