ef4d9f83c1fe5fbcb60a04943a7eb296eed3491d
[ghc.git] / testsuite / tests / partial-sigs / should_fail / T10999.stderr
1
2 T10999.hs:5:6: error:
3     Found constraint wildcard ‘_’
4       standing for ‘(?callStack::GHC.Stack.Types.CallStack, Ord a)’
5     To use the inferred type, enable PartialTypeSignatures
6     In the type signature:
7       f :: _ => () -> _
8
9 T10999.hs:5:17: error:
10     • Found type wildcard ‘_’ standing for ‘Set.Set a’
11       Where: ‘a’ is a rigid type variable bound by
12                the inferred type of
13                f :: (?callStack::GHC.Stack.Types.CallStack, Ord a) =>
14                     () -> Set.Set a
15                at T10999.hs:6:1
16       To use the inferred type, enable PartialTypeSignatures
17     • In the type signature:
18         f :: _ => () -> _
19     • Relevant bindings include
20         f :: () -> Set.Set a (bound at T10999.hs:6:1)