diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_fail/UnnamedConstraintWildcard2.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_fail/UnnamedConstraintWildcard2.stderr | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/UnnamedConstraintWildcard2.stderr b/testsuite/tests/partial-sigs/should_fail/UnnamedConstraintWildcard2.stderr index 6af7534356..3e01a2e760 100644 --- a/testsuite/tests/partial-sigs/should_fail/UnnamedConstraintWildcard2.stderr +++ b/testsuite/tests/partial-sigs/should_fail/UnnamedConstraintWildcard2.stderr @@ -1,5 +1,6 @@ - -UnnamedConstraintWildcard2.hs:4:8: - Invalid partial type: _ a => a -> String - Anonymous wild cards are not allowed in constraints - In the type signature for ‘foo’ +
+UnnamedConstraintWildcard2.hs:4:8: 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’
|