diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2021-03-10 15:28:48 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2021-03-10 16:58:50 -0500 |
| commit | 115cd3c85a8c38f1fe2a10d4ee515f92c96dd5a2 (patch) | |
| tree | 19214707fa15f127d05ae515c74cff7e85776a7c /testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotEnabled.stderr | |
| parent | 30ccf9ed1f592531dac9f3d750278fac6303c3e4 (diff) | |
| download | haskell-115cd3c85a8c38f1fe2a10d4ee515f92c96dd5a2.tar.gz | |
Use GHC2021 as default language
Diffstat (limited to 'testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotEnabled.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotEnabled.stderr | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotEnabled.stderr b/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotEnabled.stderr index bddc470060..2fb55bfe2a 100644 --- a/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotEnabled.stderr +++ b/testsuite/tests/partial-sigs/should_fail/NamedWildcardsNotEnabled.stderr @@ -1,24 +1,24 @@ -NamedWildcardsNotEnabled.hs:4:9: error: +NamedWildcardsNotEnabled.hs:5:9: error: • Couldn't match expected type ‘_b’ with actual type ‘Bool’ ‘_b’ is a rigid type variable bound by the type signature for: foo :: forall _a _b. _a -> _b - at NamedWildcardsNotEnabled.hs:3:1-15 + at NamedWildcardsNotEnabled.hs:4:1-15 • In the expression: not x In an equation for ‘foo’: foo x = not x • Relevant bindings include - foo :: _a -> _b (bound at NamedWildcardsNotEnabled.hs:4:1) + foo :: _a -> _b (bound at NamedWildcardsNotEnabled.hs:5:1) -NamedWildcardsNotEnabled.hs:4:13: error: +NamedWildcardsNotEnabled.hs:5:13: error: • Couldn't match expected type ‘Bool’ with actual type ‘_a’ ‘_a’ is a rigid type variable bound by the type signature for: foo :: forall _a _b. _a -> _b - at NamedWildcardsNotEnabled.hs:3:1-15 + at NamedWildcardsNotEnabled.hs:4:1-15 • In the first argument of ‘not’, namely ‘x’ In the expression: not x In an equation for ‘foo’: foo x = not x • Relevant bindings include - x :: _a (bound at NamedWildcardsNotEnabled.hs:4:5) - foo :: _a -> _b (bound at NamedWildcardsNotEnabled.hs:4:1) + x :: _a (bound at NamedWildcardsNotEnabled.hs:5:5) + foo :: _a -> _b (bound at NamedWildcardsNotEnabled.hs:5:1) |