Print which warning-flag controls an emitted warning
[ghc.git] / testsuite / tests / typecheck / should_compile / T10971a.stderr
1
2 T10971a.hs:7:1: warning: [-Wmissing-signatures (in -Wall)]
3     Top-level binding with no type signature: f :: forall a. [a] -> Int
4
5 T10971a.hs:7:11: warning: [-Wtype-defaults (in -Wall)]
6     • Defaulting the following constraint to type ‘[]’
7         Foldable t0 arising from a use of ‘length’
8     • In the expression: length x
9       In the expression: \ x -> length x
10       In an equation for ‘f’: f = \ x -> length x
11
12 T10971a.hs:8:1: warning: [-Wmissing-signatures (in -Wall)]
13     Top-level binding with no type signature:
14       g :: forall a b. (a -> b) -> [a] -> [b]
15
16 T10971a.hs:8:6: warning: [-Wname-shadowing (in -Wall)]
17     This binding for ‘f’ shadows the existing binding
18       defined at T10971a.hs:7:1
19
20 T10971a.hs:8:13: warning: [-Wtype-defaults (in -Wall)]
21     • Defaulting the following constraint to type ‘[]’
22         Traversable t0 arising from a use of ‘fmapDefault’
23     • In the expression: fmapDefault f x
24       In the expression: \ f x -> fmapDefault f x
25       In an equation for ‘g’: g = \ f x -> fmapDefault f x
26
27 T10971a.hs:9:1: warning: [-Wmissing-signatures (in -Wall)]
28     Top-level binding with no type signature:
29       h :: forall b a. (a -> b) -> [a] -> ([b], Int)
30
31 T10971a.hs:9:6: warning: [-Wname-shadowing (in -Wall)]
32     This binding for ‘f’ shadows the existing binding
33       defined at T10971a.hs:7:1
34
35 T10971a.hs:9:31: warning: [-Wtype-defaults (in -Wall)]
36     • Defaulting the following constraints to type ‘[]’
37         (Foldable t0) arising from a use of ‘length’ at T10971a.hs:9:31-38
38         (Traversable t0)
39           arising from a use of ‘fmapDefault’ at T10971a.hs:9:14-28
40     • In the expression: length x
41       In the expression: (fmapDefault f x, length x)
42       In the expression: \ f x -> (fmapDefault f x, length x)