Add -fcross-module-specialise flag
[ghc.git] / testsuite / tests / partial-sigs / should_compile / WarningWildcardInstantiations.stderr
1 TYPE SIGNATURES\r
2   bar :: forall w_ w_1. w_ -> (w_ -> w_1) -> w_1\r
3   foo :: forall w_a. (Show w_a, Enum w_a) => w_a -> String\r
4 TYPE CONSTRUCTORS\r
5 COERCION AXIOMS\r
6 Dependent modules: []\r
7 Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,\r
8                      integer-gmp-1.0.0.0]\r
9 \r
10 WarningWildcardInstantiations.hs:5:14: warning:\r
11     Found hole: _a :: w_a\r
12     Where: ‘w_a’ is a rigid type variable bound by\r
13                  the inferred type of foo :: (Enum w_a, Show w_a) => w_a -> String\r
14                  at WarningWildcardInstantiations.hs:6:1\r
15     In the type signature for ‘foo’: (Show _a, _) => _a -> _\r
16 \r
17 WarningWildcardInstantiations.hs:5:18: warning:\r
18     Found hole ‘_’ with inferred constraints: Enum w_a\r
19     In the type signature for ‘foo’: (Show _a, _) => _a -> _\r
20 \r
21 WarningWildcardInstantiations.hs:5:30: warning:\r
22     Found hole: _ :: String\r
23     In the type signature for ‘foo’: (Show _a, _) => _a -> _\r
24 \r
25 WarningWildcardInstantiations.hs:8:8: warning:\r
26     Found hole: _ :: w_\r
27     Where: ‘w_’ is a rigid type variable bound by\r
28                 the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1\r
29                 at WarningWildcardInstantiations.hs:9:1\r
30     In the type signature for ‘bar’: _ -> _ -> _\r
31 \r
32 WarningWildcardInstantiations.hs:8:13: warning:\r
33     Found hole: _ :: w_ -> w_1\r
34     Where: ‘w_’ is a rigid type variable bound by\r
35                 the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1\r
36                 at WarningWildcardInstantiations.hs:9:1\r
37            ‘w_1’ is a rigid type variable bound by\r
38                  the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1\r
39                  at WarningWildcardInstantiations.hs:9:1\r
40     In the type signature for ‘bar’: _ -> _ -> _\r
41 \r
42 WarningWildcardInstantiations.hs:8:18: warning:\r
43     Found hole: _ :: w_1\r
44     Where: ‘w_1’ is a rigid type variable bound by\r
45                  the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1\r
46                  at WarningWildcardInstantiations.hs:9:1\r
47     In the type signature for ‘bar’: _ -> _ -> _\r