blob: 8ad3777f2a38afee5b49d66f015229224967556d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
T12844.hs:12:9: warning: [-Wpartial-type-signatures (in -Wdefault)]
• Found type wildcard ‘_’
standing for ‘(Head rngs ~ '(r, r'), Foo rngs)’
Where: ‘r’ is a rigid type variable bound by
the inferred type of
bar :: (Head rngs ~ '(r, r'), Foo rngs) => FooData rngs
at T12844.hs:13:1-9
‘r'’ is a rigid type variable bound by
the inferred type of
bar :: (Head rngs ~ '(r, r'), Foo rngs) => FooData rngs
at T12844.hs:13:1-9
‘rngs’ is a rigid type variable bound by
the inferred type of
bar :: (Head rngs ~ '(r, r'), Foo rngs) => FooData rngs
at T12844.hs:13:1-9
‘k’ is a rigid type variable bound by
the inferred type of
bar :: (Head rngs ~ '(r, r'), Foo rngs) => FooData rngs
at T12844.hs:13:1-9
‘k1’ is a rigid type variable bound by
the inferred type of
bar :: (Head rngs ~ '(r, r'), Foo rngs) => FooData rngs
at T12844.hs:13:1-9
• In the type signature: bar :: _ => FooData rngs
|
