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.stderr7
1 files changed, 3 insertions, 4 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/T10999.stderr b/testsuite/tests/partial-sigs/should_fail/T10999.stderr
index 22df588742..d6fe29c811 100644
--- a/testsuite/tests/partial-sigs/should_fail/T10999.stderr
+++ b/testsuite/tests/partial-sigs/should_fail/T10999.stderr
@@ -21,12 +21,11 @@ T10999.hs:8:28: error:
prevents the constraint ‘(Ord b0)’ from being solved.
Relevant bindings include g :: [b0] (bound at T10999.hs:8:1)
Probable fix: use a type annotation to specify what ‘b0’ should be.
- These potential instances exist:
+ Potentially matching instances:
instance Ord a => Ord (Set.Set a) -- Defined in ‘Data.Set.Internal’
instance Ord Ordering -- Defined in ‘GHC.Classes’
- instance Ord Integer -- Defined in ‘GHC.Num.Integer’
- ...plus N others
- ...plus N instances involving out-of-scope types
+ ...plus 24 others
+ ...plus two 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 ()’