summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_fail/InstantiatedNamedWildcardsInConstraints.stderr
blob: ed33f25d47318f6b00b5b7611a61c7dd57d184b7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

InstantiatedNamedWildcardsInConstraints.hs:4:14: error:
    • Found type wildcard ‘_a’ standing for ‘b’
      Where: ‘b’ is a rigid type variable bound by
               the inferred type of foo :: (Enum b, Show b) => b -> (String, b)
               at InstantiatedNamedWildcardsInConstraints.hs:5:1-26
      To use the inferred type, enable PartialTypeSignatures
    • In the type signature: foo :: (Enum _a, _) => _a -> (String, b)

InstantiatedNamedWildcardsInConstraints.hs:4:18: error:
    • Found type wildcard ‘_’ standing for ‘Show b’
      Where: ‘b’ is a rigid type variable bound by
               the inferred type of foo :: (Enum b, Show b) => b -> (String, b)
               at InstantiatedNamedWildcardsInConstraints.hs:5:1-26
      To use the inferred type, enable PartialTypeSignatures
    • In the type signature: foo :: (Enum _a, _) => _a -> (String, b)