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.4.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