Add location to the extra-constraints wildcard
[ghc.git] / testsuite / tests / partial-sigs / should_compile / T12844.stderr
1
2 T12844.hs:12:9: warning: [-Wpartial-type-signatures (in -Wdefault)]
3     • Found type wildcard ‘_’
4         standing for ‘(Foo rngs, Head rngs ~ '(r, r'))’
5       Where: ‘rngs’, ‘k’, ‘r’, ‘k1’, ‘r'’
6                are rigid type variables bound by
7                the inferred type of
8                  bar :: (Foo rngs, Head rngs ~ '(r, r')) => FooData rngs
9                at T12844.hs:13:1-9
10     • In the type signature: bar :: _ => FooData rngs