diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInPatternSplice.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInPatternSplice.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInPatternSplice.stderr b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInPatternSplice.stderr index 2a83a36cc2..e42e098ef3 100644 --- a/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInPatternSplice.stderr +++ b/testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardInPatternSplice.stderr @@ -1,13 +1,13 @@ ExtraConstraintsWildcardInPatternSplice.hs:5:6: error: - • Found type wildcard ‘_’ standing for ‘_’ - Where: ‘_’ is a rigid type variable bound by - the inferred type of foo :: _ -> () + • Found type wildcard ‘_’ standing for ‘w’ + Where: ‘w’ is a rigid type variable bound by + the inferred type of foo :: w -> () at ExtraConstraintsWildcardInPatternSplice.hs:5:1-29 To use the inferred type, enable PartialTypeSignatures • In a pattern type signature: _ In the pattern: _ :: _ In an equation for ‘foo’: foo (_ :: _) = () • Relevant bindings include - foo :: _ -> () + foo :: w -> () (bound at ExtraConstraintsWildcardInPatternSplice.hs:5:1) |