summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_compile/T16728a.stderr
blob: 2c7e59762382646494a5f91ab305b9e7b09432db (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

T16728a.hs:4:22: warning: [-Wpartial-type-signatures (in -Wdefault)]
    • Found type wildcard ‘_’ standing for ‘w’
      Where: ‘w’ is a rigid type variable bound by
               the inferred types of
                 g :: a -> w
                 h :: a -> w
               at T16728a.hs:(5,1)-(7,9)
    • In the type ‘a -> _’
      In the type signature: g :: forall a. a -> _

T16728a.hs:4:22: warning: [-Wpartial-type-signatures (in -Wdefault)]
    • Found type wildcard ‘_’ standing for ‘w’
      Where: ‘w’ is a rigid type variable bound by
               the inferred types of
                 g :: a -> w
                 h :: a -> w
               at T16728a.hs:(5,1)-(7,9)
    • In the type ‘a -> _’
      In the type signature: h :: forall a. a -> _