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