blob: a67bfdcc7e5a15868d7949f39e75065c8e22dc7a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
ExprSigLocal.hs:9:35: 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 <expression> :: a -> a
at ExprSigLocal.hs:9:27
• In an expression type signature: forall a. a -> _
In the expression: (\ x -> x) :: forall a. a -> _
In an equation for ‘y’: y = ((\ x -> x) :: forall a. a -> _)
• Relevant bindings include
y :: b -> b (bound at ExprSigLocal.hs:9:1)
ExprSigLocal.hs:11:21: 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 ExprSigLocal.hs:11:13
• In the type signature: g :: forall a. a -> _
|
