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

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 -> _

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 -> _