summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_compile/T16728a.stderr
blob: 50785ebc1ce2493ac1341d0dab7975ace62b4b2a (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 ‘_’
      Where: ‘_’ is a rigid type variable bound by
               the inferred types of
                 g :: a -> _
                 h :: a -> _
               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 ‘_’
      Where: ‘_’ is a rigid type variable bound by
               the inferred types of
                 g :: a -> _
                 h :: a -> _
               at T16728a.hs:(5,1)-(7,9)
    • In the type ‘a -> _’
      In the type signature: h :: forall a. a -> _