582cf1a70ef95f7e4028e0f480cb025306640efa
[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)
25           -- Defined in ‘containers-0.5.7.1:Data.Set.Base’
26         instance Ord Ordering -- Defined in ‘GHC.Classes’
27         instance Ord Integer
28           -- Defined in ‘integer-gmp-1.0.0.1:GHC.Integer.Type’
29         ...plus 23 others
30         ...plus two instances involving out-of-scope types
31         (use -fprint-potential-instances to see them all)
32     • In the second argument of ‘($)’, namely ‘f ()’
33       In the second argument of ‘($)’, namely ‘Set.toList $ f ()’
34       In the expression: map fst $ Set.toList $ f ()