diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile/ExprSigLocal.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_compile/ExprSigLocal.stderr | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/ExprSigLocal.stderr b/testsuite/tests/partial-sigs/should_compile/ExprSigLocal.stderr index 7804228b0b..a67bfdcc7e 100644 --- a/testsuite/tests/partial-sigs/should_compile/ExprSigLocal.stderr +++ b/testsuite/tests/partial-sigs/should_compile/ExprSigLocal.stderr @@ -4,9 +4,9 @@ ExprSigLocal.hs:9:35: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdefa Where: ‘a’ is a rigid type variable bound by the inferred type of <expression> :: a -> a at ExprSigLocal.hs:9:27 - • In the type ‘a -> _’ - In an expression type signature: forall a. a -> _ + • 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) @@ -15,5 +15,4 @@ ExprSigLocal.hs:11:21: warning: [GHC-88464] [-Wpartial-type-signatures (in -Wdef Where: ‘a’ is a rigid type variable bound by the inferred type of g :: a -> a at ExprSigLocal.hs:11:13 - • In the type ‘a -> _’ - In the type signature: g :: forall a. a -> _ + • In the type signature: g :: forall a. a -> _ |