Bump ghc-prim version to 0.5.0.0 (closes #11043)
[ghc.git] / testsuite / tests / partial-sigs / should_compile / WarningWildcardInstantiations.stderr
1 TYPE SIGNATURES\r
2   bar :: forall t t1. t -> (t -> t1) -> t1\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.0]\r
9 \r
10 WarningWildcardInstantiations.hs:5:14: warning:\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 for:\r
16       foo :: (Show _a, _) => _a -> _\r
17 \r
18 WarningWildcardInstantiations.hs:5:18: warning:\r
19     Found hole ‘_’ with inferred constraints: Enum a\r
20     In the type signature for:\r
21       foo :: (Show _a, _) => _a -> _\r
22 \r
23 WarningWildcardInstantiations.hs:5:30: warning:\r
24     Found type wildcard ‘_’ standing for ‘String’\r
25     In the type signature for:\r
26       foo :: (Show _a, _) => _a -> _\r
27 \r
28 WarningWildcardInstantiations.hs:8:8: warning:\r
29     Found type wildcard ‘_’ standing for ‘t’\r
30     Where: ‘t’ is a rigid type variable bound by\r
31                the inferred type of bar :: t -> (t -> t1) -> t1\r
32                at WarningWildcardInstantiations.hs:9:1\r
33     In the type signature for:\r
34       bar :: _ -> _ -> _\r
35 \r
36 WarningWildcardInstantiations.hs:8:13: warning:\r
37     Found type wildcard ‘_’ standing for ‘t -> t1’\r
38     Where: ‘t’ is a rigid type variable bound by\r
39                the inferred type of bar :: t -> (t -> t1) -> t1\r
40                at WarningWildcardInstantiations.hs:9:1\r
41            ‘t1’ is a rigid type variable bound by\r
42                 the inferred type of bar :: t -> (t -> t1) -> t1\r
43                 at WarningWildcardInstantiations.hs:9:1\r
44     In the type signature for:\r
45       bar :: _ -> _ -> _\r
46 \r
47 WarningWildcardInstantiations.hs:8:18: warning:\r
48     Found type wildcard ‘_’ standing for ‘t1’\r
49     Where: ‘t1’ is a rigid type variable bound by\r
50                 the inferred type of bar :: t -> (t -> t1) -> t1\r
51                 at WarningWildcardInstantiations.hs:9:1\r
52     In the type signature for:\r
53       bar :: _ -> _ -> _\r