017cc1535c59b1fbaeac0f92ab4b9d151d54b0d5
[ghc.git] / testsuite / tests / partial-sigs / should_compile / T13482.stderr
1
2 T13482.hs:10:20: warning: [-Wpartial-type-signatures (in -Wdefault)]
3     • Found type wildcard ‘_’ standing for ‘(Eq m, Monoid m)’
4       Where: ‘m’ is a rigid type variable bound by
5                the inferred type of
6                  minimal1_noksig :: (Eq m, Monoid m) => Int -> Bool
7                at T13482.hs:11:1-50
8     • In the type signature:
9         minimal1_noksig :: forall m. _ => Int -> Bool
10
11 T13482.hs:13:13: warning: [-Wpartial-type-signatures (in -Wdefault)]
12     • Found type wildcard ‘_’ standing for ‘(Eq m, Monoid m)’
13       Where: ‘m’ is a rigid type variable bound by
14                the inferred type of minimal1 :: (Eq m, Monoid m) => Bool
15                at T13482.hs:14:1-41
16     • In the type signature: minimal1 :: forall (m :: Type). _ => Bool
17
18 T13482.hs:16:13: warning: [-Wpartial-type-signatures (in -Wdefault)]
19     • Found type wildcard ‘_’ standing for ‘Monoid m’
20       Where: ‘m’ is a rigid type variable bound by
21                the inferred type of minimal2 :: (Eq m, Monoid m) => Bool
22                at T13482.hs:17:1-41
23     • In the type signature: minimal2 :: forall m. (Eq m, _) => Bool
24
25 T13482.hs:19:13: warning: [-Wpartial-type-signatures (in -Wdefault)]
26     • Found type wildcard ‘_’ standing for ‘Eq m’
27       Where: ‘m’ is a rigid type variable bound by
28                the inferred type of minimal3 :: (Monoid m, Eq m) => Bool
29                at T13482.hs:20:1-41
30     • In the type signature:
31         minimal3 :: forall m. (Monoid m, _) => Bool