diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile/T10519.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_compile/T10519.stderr | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/T10519.stderr b/testsuite/tests/partial-sigs/should_compile/T10519.stderr index ba98d7a3b0..496867bd04 100644 --- a/testsuite/tests/partial-sigs/should_compile/T10519.stderr +++ b/testsuite/tests/partial-sigs/should_compile/T10519.stderr @@ -1,5 +1,7 @@ - -T10519.hs:5:18: warning: [-Wpartial-type-signatures (in -Wdefault)] - Found constraint wildcard ‘_’ standing for ‘Eq a’ - In the type signature: - foo :: forall a. _ => a -> a -> Bool +
+T10519.hs:5:18: warning: [-Wpartial-type-signatures (in -Wdefault)]
+ • Found type wildcard ‘_’ standing for ‘Eq a’
+ Where: ‘a’ is a rigid type variable bound by
+ the inferred type of foo :: Eq a => a -> a -> Bool
+ at T10519.hs:6:1-16
+ • In the type signature: foo :: forall a. _ => a -> a -> Bool
|