summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_fail/T10999.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/partial-sigs/should_fail/T10999.stderr')
-rw-r--r--testsuite/tests/partial-sigs/should_fail/T10999.stderr5
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 ()’