blob: 1a0e7df6efa34ede64bf5ec43ed4927662d26439 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
T11670.hs:10:42: warning: [-Wpartial-type-signatures (in -Wdefault)]
• Found type wildcard ‘_’ standing for ‘CLong’
• In the first argument of ‘IO’, namely ‘_’
In the type ‘IO _’
In an expression type signature: IO _
• Relevant bindings include
ptr :: Ptr a (bound at T11670.hs:10:6)
peek :: Ptr a -> IO CLong (bound at T11670.hs:10:1)
T11670.hs:13:40: warning: [-Wpartial-type-signatures (in -Wdefault)]
• Found type wildcard ‘_’ standing for ‘Storable _’
Where: ‘_’ is a rigid type variable bound by
the inferred type of <expression> :: Storable _ => IO _
at T11670.hs:13:40-48
• In an expression type signature: _ => IO _
In the expression: peekElemOff undefined 0 :: _ => IO _
In an equation for ‘peek2’:
peek2 ptr = peekElemOff undefined 0 :: _ => IO _
• Relevant bindings include
ptr :: Ptr a (bound at T11670.hs:13:7)
peek2 :: Ptr a -> IO CLong (bound at T11670.hs:13:1)
T11670.hs:13:48: warning: [-Wpartial-type-signatures (in -Wdefault)]
• Found type wildcard ‘_’ standing for ‘_’
Where: ‘_’ is a rigid type variable bound by
the inferred type of <expression> :: Storable _ => IO _
at T11670.hs:13:40-48
• In the first argument of ‘IO’, namely ‘_’
In the type ‘IO _’
In an expression type signature: _ => IO _
• Relevant bindings include
ptr :: Ptr a (bound at T11670.hs:13:7)
peek2 :: Ptr a -> IO CLong (bound at T11670.hs:13:1)
|
