diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_fail/T10999.stderr')
-rw-r--r-- | testsuite/tests/partial-sigs/should_fail/T10999.stderr | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/T10999.stderr b/testsuite/tests/partial-sigs/should_fail/T10999.stderr index 39e94b5033..aa22ff9944 100644 --- a/testsuite/tests/partial-sigs/should_fail/T10999.stderr +++ b/testsuite/tests/partial-sigs/should_fail/T10999.stderr @@ -13,8 +13,7 @@ T10999.hs:5:17: error: [GHC-88464] the inferred type of f :: Ord a => () -> Set.Set a at T10999.hs:6:1-28 To use the inferred type, enable PartialTypeSignatures - • In the type ‘() -> _’ - In the type signature: f :: _ => () -> _ + • In the type signature: f :: _ => () -> _ T10999.hs:8:28: error: [GHC-39999] • Ambiguous type variable ‘b1’ arising from a use of ‘f’ @@ -25,7 +24,7 @@ T10999.hs:8:28: error: [GHC-39999] instance Ord a => Ord (Set.Set a) -- Defined in ‘Data.Set.Internal’ instance Ord Ordering -- Defined in ‘GHC.Classes’ ...plus 24 others - ...plus two instances involving out-of-scope types + ...plus three instances involving out-of-scope types (use -fprint-potential-instances to see them all) • In the second argument of ‘($)’, namely ‘f ()’ In the second argument of ‘($)’, namely ‘Set.toList $ f ()’ |