summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_compile/T11670.stderr
blob: 87e36e5fc5dc310bfd4692e20ad166d911b6a657 (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 w’
      Where: ‘w’ is a rigid type variable bound by
               the inferred type of <expression> :: Storable w => IO w
               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 ‘w’
      Where: ‘w’ is a rigid type variable bound by
               the inferred type of <expression> :: Storable w => IO w
               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)