19ed2e1745dd22886cb8e1d512de5ad47bf410d6
[ghc.git] / testsuite / tests / partial-sigs / should_compile / WarningWildcardInstantiations.stderr
1 TYPE SIGNATURES\r
2   bar :: forall t t1. t1 -> (t1 -> t) -> t\r
3   foo :: forall a. (Show a, Enum a) => a -> String\r
4 TYPE CONSTRUCTORS\r
5 COERCION AXIOMS\r
6 Dependent modules: []\r
7 Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,\r
8                      integer-gmp-1.0.0.1]\r
9 \r
10 WarningWildcardInstantiations.hs:5:14: warning: [-Wpartial-type-signatures (in -Wdefault)]\r
11     • Found type wildcard ‘_a’ standing for ‘a’\r
12       Where: ‘a’ is a rigid type variable bound by\r
13                the inferred type of foo :: (Enum a, Show a) => a -> String\r
14                at WarningWildcardInstantiations.hs:6:1\r
15     • In the type signature: foo :: (Show _a, _) => _a -> _\r
16     • Relevant bindings include\r
17         foo :: a -> String (bound at WarningWildcardInstantiations.hs:6:1)\r
18 \r
19 WarningWildcardInstantiations.hs:5:18: warning: [-Wpartial-type-signatures (in -Wdefault)]\r
20     Found constraint wildcard ‘_’ standing for ‘Enum a’\r
21     In the type signature: foo :: (Show _a, _) => _a -> _\r
22 \r
23 WarningWildcardInstantiations.hs:5:30: warning: [-Wpartial-type-signatures (in -Wdefault)]\r
24     • Found type wildcard ‘_’ standing for ‘String’\r
25     • In the type signature: foo :: (Show _a, _) => _a -> _\r
26     • Relevant bindings include\r
27         foo :: a -> String (bound at WarningWildcardInstantiations.hs:6:1)\r
28 \r
29 WarningWildcardInstantiations.hs:8:8: warning: [-Wpartial-type-signatures (in -Wdefault)]\r
30     • Found type wildcard ‘_’ standing for ‘t1’\r
31       Where: ‘t1’ is a rigid type variable bound by\r
32                the inferred type of bar :: t1 -> (t1 -> t) -> t\r
33                at WarningWildcardInstantiations.hs:9:1\r
34     • In the type signature: bar :: _ -> _ -> _\r
35     • Relevant bindings include\r
36         bar :: t1 -> (t1 -> t) -> t\r
37           (bound at WarningWildcardInstantiations.hs:9:1)\r
38 \r
39 WarningWildcardInstantiations.hs:8:13: warning: [-Wpartial-type-signatures (in -Wdefault)]\r
40     • Found type wildcard ‘_’ standing for ‘t1 -> t’\r
41       Where: ‘t’ is a rigid type variable bound by\r
42                the inferred type of bar :: t1 -> (t1 -> t) -> t\r
43                at WarningWildcardInstantiations.hs:9:1\r
44              ‘t1’ is a rigid type variable bound by\r
45                the inferred type of bar :: t1 -> (t1 -> t) -> t\r
46                at WarningWildcardInstantiations.hs:9:1\r
47     • In the type signature: bar :: _ -> _ -> _\r
48     • Relevant bindings include\r
49         bar :: t1 -> (t1 -> t) -> t\r
50           (bound at WarningWildcardInstantiations.hs:9:1)\r
51 \r
52 WarningWildcardInstantiations.hs:8:18: warning: [-Wpartial-type-signatures (in -Wdefault)]\r
53     • Found type wildcard ‘_’ standing for ‘t’\r
54       Where: ‘t’ is a rigid type variable bound by\r
55                the inferred type of bar :: t1 -> (t1 -> t) -> t\r
56                at WarningWildcardInstantiations.hs:9:1\r
57     • In the type signature: bar :: _ -> _ -> _\r
58     • Relevant bindings include\r
59         bar :: t1 -> (t1 -> t) -> t\r
60           (bound at WarningWildcardInstantiations.hs:9:1)\r