summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_compile/T16728b.stderr
blob: 02dcbac79e83bdfd4d428daca37e1f03c0045ac3 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13

T16728b.hs:4:22: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)]
    • Found type wildcard ‘_’ standing for ‘a’
      Where: ‘a’ is a rigid type variable bound by
               the inferred type of g :: a -> a
               at T16728b.hs:4:14
    • In the type ‘a -> _’
      In the type signature: g :: forall a. a -> _

T16728b.hs:4:22: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefault)]
    • Found type wildcard ‘_’ standing for ‘Bool’
    • In the type ‘a -> _’
      In the type signature: h :: forall a. a -> _