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