Visible kind application
[ghc.git] / testsuite / tests / partial-sigs / should_compile / ExprSigLocal.stderr
1
2 ExprSigLocal.hs:9:35: warning: [-Wpartial-type-signatures (in -Wdefault)]
3     • Found type wildcard ‘_’ standing for ‘a’
4       Where: ‘a’ is a rigid type variable bound by
5                the inferred type of <expression> :: a -> a
6                at ExprSigLocal.hs:9:20-35
7     • In the type ‘a -> _’
8       In an expression type signature: forall a. a -> _
9       In the expression: ((\ x -> x) :: forall a. a -> _)
10     • Relevant bindings include
11         y :: b -> b (bound at ExprSigLocal.hs:9:1)
12
13 ExprSigLocal.hs:11:21: warning: [-Wpartial-type-signatures (in -Wdefault)]
14     • Found type wildcard ‘_’ standing for ‘a’
15       Where: ‘a’ is a rigid type variable bound by
16                the inferred type of g :: a -> a
17                at ExprSigLocal.hs:12:1-7
18     • In the type ‘a -> _’
19       In the type signature: g :: forall a. a -> _