diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotEnabled.stderr')
-rw-r--r-- | testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotEnabled.stderr | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotEnabled.stderr b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotEnabled.stderr index d1dee083dd..0790605837 100644 --- a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotEnabled.stderr +++ b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotEnabled.stderr @@ -1,6 +1,8 @@ - -ExtraConstraintsWildcardNotEnabled.hs:4:10: error: - Found constraint wildcard ‘_’ standing for ‘Show a’ - To use the inferred type, enable PartialTypeSignatures - In the type signature: - show' :: _ => a -> String +
+ExtraConstraintsWildcardNotEnabled.hs:4:10: error:
+ • Found type wildcard ‘_’ standing for ‘Show a’
+ Where: ‘a’ is a rigid type variable bound by
+ the inferred type of show' :: Show a => a -> String
+ at ExtraConstraintsWildcardNotEnabled.hs:5:1-16
+ To use the inferred type, enable PartialTypeSignatures
+ • In the type signature: show' :: _ => a -> String
|