8e47c4bb70bb10c86a7f50b2f015286177fe6733
[ghc.git] / testsuite / tests / partial-sigs / should_compile / T11192.stderr
1
2 T11192.hs:7:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
3     • Found type wildcard ‘_’ standing for ‘Int -> p -> p’
4       Where: ‘p’ is a rigid type variable bound by
5                the inferred type of go :: Int -> p -> p at T11192.hs:8:8-17
6     • In the type signature: go :: _
7       In the expression:
8         let
9           go :: _
10           go 0 a = a
11         in go (0 :: Int) undefined
12       In an equation for ‘fails’:
13           fails
14             = let
15                 go :: _
16                 go 0 a = a
17               in go (0 :: Int) undefined
18     • Relevant bindings include fails :: a (bound at T11192.hs:6:1)
19
20 T11192.hs:13:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
21     • Found type wildcard ‘_’ standing for ‘p1 -> p -> p’
22       Where: ‘p1’ is a rigid type variable bound by
23                the inferred type of go :: p1 -> p -> p at T11192.hs:14:8-17
24              ‘p’ is a rigid type variable bound by
25                the inferred type of go :: p1 -> p -> p at T11192.hs:14:8-17
26     • In the type signature: go :: _
27       In the expression:
28         let
29           go :: _
30           go _ a = a
31         in go (0 :: Int) undefined
32       In an equation for ‘succeeds’:
33           succeeds
34             = let
35                 go :: _
36                 go _ a = a
37               in go (0 :: Int) undefined
38     • Relevant bindings include succeeds :: a (bound at T11192.hs:12:1)