Visible kind application
[ghc.git] / testsuite / tests / partial-sigs / should_fail / WildcardsInPatternAndExprSig.stderr
1
2 WildcardsInPatternAndExprSig.hs:4:18: error:
3     • Found type wildcard ‘_a’ standing for ‘_’
4       Where: ‘_’ is a rigid type variable bound by
5                the inferred type of bar :: Maybe [_] -> _ -> [_]
6                at WildcardsInPatternAndExprSig.hs:4:1-68
7       To use the inferred type, enable PartialTypeSignatures
8     • In a pattern type signature: _a
9       In the pattern: x :: _a
10       In the pattern: [x :: _a]
11     • Relevant bindings include
12         bar :: Maybe [_] -> _ -> [_]
13           (bound at WildcardsInPatternAndExprSig.hs:4:1)
14
15 WildcardsInPatternAndExprSig.hs:4:25: error:
16     • Found type wildcard ‘_’ standing for ‘[_]’
17       Where: ‘_’ is a rigid type variable bound by
18                the inferred type of bar :: Maybe [_] -> _ -> [_]
19                at WildcardsInPatternAndExprSig.hs:4:1-68
20       To use the inferred type, enable PartialTypeSignatures
21     • In a pattern type signature: _
22       In the pattern: [x :: _a] :: _
23       In the pattern: Just ([x :: _a] :: _)
24     • Relevant bindings include
25         bar :: Maybe [_] -> _ -> [_]
26           (bound at WildcardsInPatternAndExprSig.hs:4:1)
27
28 WildcardsInPatternAndExprSig.hs:4:38: error:
29     • Found type wildcard ‘_b’ standing for ‘_’
30       Where: ‘_’ is a rigid type variable bound by
31                the inferred type of bar :: Maybe [_] -> _ -> [_]
32                at WildcardsInPatternAndExprSig.hs:4:1-68
33       To use the inferred type, enable PartialTypeSignatures
34     • In a pattern type signature: Maybe [_b]
35       In the pattern: Just ([x :: _a] :: _) :: Maybe [_b]
36       In an equation for ‘bar’:
37           bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)
38             = [x, z] :: [_d]
39     • Relevant bindings include
40         bar :: Maybe [_] -> _ -> [_]
41           (bound at WildcardsInPatternAndExprSig.hs:4:1)
42
43 WildcardsInPatternAndExprSig.hs:4:49: error:
44     • Found type wildcard ‘_c’ standing for ‘_’
45       Where: ‘_’ is a rigid type variable bound by
46                the inferred type of bar :: Maybe [_] -> _ -> [_]
47                at WildcardsInPatternAndExprSig.hs:4:1-68
48       To use the inferred type, enable PartialTypeSignatures
49     • In a pattern type signature: _c
50       In the pattern: z :: _c
51       In an equation for ‘bar’:
52           bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)
53             = [x, z] :: [_d]
54     • Relevant bindings include
55         x :: _ (bound at WildcardsInPatternAndExprSig.hs:4:13)
56         bar :: Maybe [_] -> _ -> [_]
57           (bound at WildcardsInPatternAndExprSig.hs:4:1)
58
59 WildcardsInPatternAndExprSig.hs:4:66: error:
60     • Found type wildcard ‘_d’ standing for ‘_’
61       Where: ‘_’ is a rigid type variable bound by
62                the inferred type of bar :: Maybe [_] -> _ -> [_]
63                at WildcardsInPatternAndExprSig.hs:4:1-68
64       To use the inferred type, enable PartialTypeSignatures
65     • In an expression type signature: [_d]
66       In the expression: [x, z] :: [_d]
67       In an equation for ‘bar’:
68           bar (Just ([x :: _a] :: _) :: Maybe [_b]) (z :: _c)
69             = [x, z] :: [_d]
70     • Relevant bindings include
71         z :: _ (bound at WildcardsInPatternAndExprSig.hs:4:44)
72         x :: _ (bound at WildcardsInPatternAndExprSig.hs:4:13)
73         bar :: Maybe [_] -> _ -> [_]
74           (bound at WildcardsInPatternAndExprSig.hs:4:1)