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