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