base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` instead
[ghc.git] / testsuite / tests / partial-sigs / should_compile / WarningWildcardInstantiations.stderr
1 TYPE SIGNATURES
2   bar :: forall t _. t -> (t -> _) -> _
3   foo :: forall a. (Show a, Enum a) => a -> String
4 Dependent modules: []
5 Dependent packages: [base-4.13.0.0, ghc-prim-0.5.3,
6                      integer-gmp-1.0.2.0]
7
8 WarningWildcardInstantiations.hs:5:8: warning: [-Wpartial-type-signatures (in -Wdefault)]
9     • Found type wildcard ‘_’ standing for ‘Enum a’
10       Where: ‘a’ is a rigid type variable bound by
11                the inferred type of foo :: (Show a, Enum a) => a -> String
12                at WarningWildcardInstantiations.hs:6:1-21
13     • In the type signature: foo :: (Show _a, _) => _a -> _
14
15 WarningWildcardInstantiations.hs:5:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
16     • Found type wildcard ‘_a’ standing for ‘a’
17       Where: ‘a’ is a rigid type variable bound by
18                the inferred type of foo :: (Show a, Enum a) => a -> String
19                at WarningWildcardInstantiations.hs:6:1-21
20     • In the type signature: foo :: (Show _a, _) => _a -> _
21
22 WarningWildcardInstantiations.hs:5:30: warning: [-Wpartial-type-signatures (in -Wdefault)]
23     • Found type wildcard ‘_’ standing for ‘String’
24     • In the type ‘_a -> _’
25       In the type signature: foo :: (Show _a, _) => _a -> _
26
27 WarningWildcardInstantiations.hs:8:8: warning: [-Wpartial-type-signatures (in -Wdefault)]
28     • Found type wildcard ‘_’ standing for ‘t’
29       Where: ‘t’ is a rigid type variable bound by
30                the inferred type of bar :: t -> (t -> _) -> _
31                at WarningWildcardInstantiations.hs:9:1-13
32     • In the type ‘_ -> _ -> _’
33       In the type signature: bar :: _ -> _ -> _
34
35 WarningWildcardInstantiations.hs:8:13: warning: [-Wpartial-type-signatures (in -Wdefault)]
36     • Found type wildcard ‘_’ standing for ‘t -> _’
37       Where: ‘t’, ‘_’ are rigid type variables bound by
38                the inferred type of bar :: t -> (t -> _) -> _
39                at WarningWildcardInstantiations.hs:9:1-13
40     • In the type ‘_ -> _ -> _’
41       In the type signature: bar :: _ -> _ -> _
42
43 WarningWildcardInstantiations.hs:8:18: warning: [-Wpartial-type-signatures (in -Wdefault)]
44     • Found type wildcard ‘_’ standing for ‘_’
45       Where: ‘_’ is a rigid type variable bound by
46                the inferred type of bar :: t -> (t -> _) -> _
47                at WarningWildcardInstantiations.hs:9:1-13
48     • In the type ‘_ -> _ -> _’
49       In the type signature: bar :: _ -> _ -> _