blob: d2db5da38e70f2a149b5cd526c14830cef40d5e1 (
plain)
1
2
3
4
5
6
7
|
T10519.hs:5:18: warning: [-Wpartial-type-signatures (in -Wdefault)]
• Found extra-constraints 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:5:15
• In the type signature: foo :: forall a. _ => a -> a -> Bool
|