88652a78310e9005c20d30808b2d0565aa5f6616
[ghc.git] / testsuite / tests / partial-sigs / should_fail / T10999.stderr
1
2 T10999.hs:5:6: error:
3     • Found type wildcard ‘_’ standing for ‘Ord a’
4       Where: ‘a’ is a rigid type variable bound by
5                the inferred type of f :: Ord a => () -> Set.Set a
6                at T10999.hs:6:1-28
7       To use the inferred type, enable PartialTypeSignatures
8     • In the type signature: f :: _ => () -> _
9
10 T10999.hs:5:17: error:
11     • Found type wildcard ‘_’ standing for ‘Set.Set a’
12       Where: ‘a’ is a rigid type variable bound by
13                the inferred type of f :: Ord a => () -> Set.Set a
14                at T10999.hs:6:1-28
15       To use the inferred type, enable PartialTypeSignatures
16     • In the type signature: f :: _ => () -> _
17
18 T10999.hs:8:28: error:
19     • Ambiguous type variable ‘b0’ arising from a use of ‘f’
20       prevents the constraint ‘(Ord b0)’ from being solved.
21       Relevant bindings include g :: [b0] (bound at T10999.hs:8:1)
22       Probable fix: use a type annotation to specify what ‘b0’ should be.
23       These potential instances exist:
24         instance Ord a => Ord (Set.Set a) -- Defined in ‘Data.Set.Internal’
25         instance Ord Ordering -- Defined in ‘GHC.Classes’
26         instance Ord Integer
27           -- Defined in ‘integer-gmp-1.0.1.0:GHC.Integer.Type’
28         ...plus 23 others
29         ...plus three instances involving out-of-scope types
30         (use -fprint-potential-instances to see them all)
31     • In the second argument of ‘($)’, namely ‘f ()’
32       In the second argument of ‘($)’, namely ‘Set.toList $ f ()’
33       In the expression: map fst $ Set.toList $ f ()