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