Replace -fshow-source-paths with -fhide-source-paths
[ghc.git] / testsuite / tests / partial-sigs / should_compile / SplicesUsed.stderr
1 [1 of 2] Compiling Splices          ( Splices.hs, Splices.o )
2 [2 of 2] Compiling SplicesUsed      ( SplicesUsed.hs, SplicesUsed.o )
3
4 SplicesUsed.hs:7:16: warning: [-Wpartial-type-signatures (in -Wdefault)]
5     • Found type wildcard ‘_’ standing for ‘Maybe Bool’
6     • In the type signature: maybeBool :: _
7
8 SplicesUsed.hs:8:15: warning: [-Wpartial-type-signatures (in -Wdefault)]
9     • Found type wildcard ‘_a’ standing for ‘w’
10       Where: ‘w’ is a rigid type variable bound by
11                the inferred type of <expression> :: w -> w
12                at SplicesUsed.hs:8:15-22
13     • In an expression type signature: _a -> _a
14       In the expression: id :: _a -> _a
15       In the expression: (id :: _a -> _a) (Just True :: Maybe _)
16     • Relevant bindings include
17         maybeBool :: Maybe Bool (bound at SplicesUsed.hs:8:1)
18
19 SplicesUsed.hs:8:27: warning: [-Wpartial-type-signatures (in -Wdefault)]
20     • Found type wildcard ‘_’ standing for ‘Bool’
21     • In an expression type signature: Maybe _
22       In the first argument of ‘id :: _a -> _a’, namely
23         ‘(Just True :: Maybe _)’
24       In the expression: (id :: _a -> _a) (Just True :: Maybe _)
25     • Relevant bindings include
26         maybeBool :: Maybe Bool (bound at SplicesUsed.hs:8:1)
27
28 SplicesUsed.hs:10:17: warning: [-Wpartial-type-signatures (in -Wdefault)]
29     • Found type wildcard ‘_’ standing for ‘(Char, a)’
30       Where: ‘a’ is a rigid type variable bound by
31                the inferred type of charA :: a -> (Char, a)
32                at SplicesUsed.hs:11:1-18
33     • In the type signature: charA :: a -> (_)
34
35 SplicesUsed.hs:13:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
36     • Found type wildcard ‘_’ standing for ‘a -> Bool’
37       Where: ‘a’ is a rigid type variable bound by
38                the inferred type of filter' :: (a -> Bool) -> [a] -> [a]
39                at SplicesUsed.hs:14:1-16
40     • In the type signature: filter' :: _ -> _ -> _
41
42 SplicesUsed.hs:13:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
43     • Found type wildcard ‘_’ standing for ‘[a]’
44       Where: ‘a’ is a rigid type variable bound by
45                the inferred type of filter' :: (a -> Bool) -> [a] -> [a]
46                at SplicesUsed.hs:14:1-16
47     • In the type signature: filter' :: _ -> _ -> _
48
49 SplicesUsed.hs:13:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
50     • Found type wildcard ‘_’ standing for ‘[a]’
51       Where: ‘a’ is a rigid type variable bound by
52                the inferred type of filter' :: (a -> Bool) -> [a] -> [a]
53                at SplicesUsed.hs:14:1-16
54     • In the type signature: filter' :: _ -> _ -> _
55
56 SplicesUsed.hs:16:3: warning: [-Wpartial-type-signatures (in -Wdefault)]
57     • Found type wildcard ‘_’ standing for ‘Eq a’
58       Where: ‘a’ is a rigid type variable bound by
59                the inferred type of foo :: Eq a => a -> a -> Bool
60                at SplicesUsed.hs:16:3-10
61     • In the type signature: foo :: _ => _
62
63 SplicesUsed.hs:16:3: warning: [-Wpartial-type-signatures (in -Wdefault)]
64     • Found type wildcard ‘_’ standing for ‘a -> a -> Bool’
65       Where: ‘a’ is a rigid type variable bound by
66                the inferred type of foo :: Eq a => a -> a -> Bool
67                at SplicesUsed.hs:16:3-10
68     • In the type signature: foo :: _ => _
69
70 SplicesUsed.hs:18:3: warning: [-Wpartial-type-signatures (in -Wdefault)]
71     • Found type wildcard ‘_a’ standing for ‘Bool’
72     • In the type signature: bar :: _a -> _b -> (_a, _b)
73
74 SplicesUsed.hs:18:3: warning: [-Wpartial-type-signatures (in -Wdefault)]
75     • Found type wildcard ‘_b’ standing for ‘w’
76       Where: ‘w’ is a rigid type variable bound by
77                the inferred type of bar :: Bool -> w -> (Bool, w)
78                at SplicesUsed.hs:18:3-10
79     • In the type signature: bar :: _a -> _b -> (_a, _b)