blob: 3d8031143c2cb428b83863a6d9f0cbcc2d4b90d8 (
plain)
1
2
3
4
5
6
7
8
9
10
|
T12844.hs:12:9: warning: [-Wpartial-type-signatures (in -Wdefault)]
• Found type wildcard ‘_’
standing for ‘(Foo rngs, Head rngs ~ '(r, r'))’
Where: ‘rngs’, ‘k’, ‘r’, ‘k1’, ‘r'’
are rigid type variables bound by
the inferred type of
bar :: (Foo rngs, Head rngs ~ '(r, r')) => FooData rngs
at T12844.hs:(12,1)-(13,9)
• In the type signature: bar :: _ => FooData rngs
|
