diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_fail/T10999.stderr')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_fail/T10999.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/T10999.stderr b/testsuite/tests/partial-sigs/should_fail/T10999.stderr index 4942fb9f8a..39e94b5033 100644 --- a/testsuite/tests/partial-sigs/should_fail/T10999.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T10999.stderr @@ -1,5 +1,5 @@ -T10999.hs:5:6: error: +T10999.hs:5:6: error: [GHC-88464] • Found extra-constraints wildcard standing for ‘Ord a’ Where: ‘a’ is a rigid type variable bound by the inferred type of f :: Ord a => () -> Set.Set a @@ -7,7 +7,7 @@ T10999.hs:5:6: error: To use the inferred type, enable PartialTypeSignatures • In the type signature: f :: _ => () -> _ -T10999.hs:5:17: error: +T10999.hs:5:17: error: [GHC-88464] • Found type wildcard ‘_’ standing for ‘Set.Set a’ Where: ‘a’ is a rigid type variable bound by the inferred type of f :: Ord a => () -> Set.Set a @@ -16,7 +16,7 @@ T10999.hs:5:17: error: • In the type ‘() -> _’ In the type signature: f :: _ => () -> _ -T10999.hs:8:28: error: +T10999.hs:8:28: error: [GHC-39999] • Ambiguous type variable ‘b1’ arising from a use of ‘f’ prevents the constraint ‘(Ord b1)’ from being solved. Relevant bindings include g :: [b1] (bound at T10999.hs:8:1) |