summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_compile/T10519.stderr
blob: 496867bd04613f906a28f2cf0b6e4f29fd94bbc2 (plain)
1
2
3
4
5
6
7

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