blob: e1dd3525064646e723d194db92647b1781ecf478 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T20189.hs:7:5: error: [GHC-88464]
• Found hole: _ :: t
Where: ‘t’ is a rigid type variable bound by
the type signature for:
y :: forall t. (t ~ (forall x. Show x => x -> IO ())) => t
at T20189.hs:6:1-49
• In an equation for ‘y’: y = _
• Relevant bindings include y :: t (bound at T20189.hs:7:1)
Constraints include
t ~ (forall x. Show x => x -> IO ()) (from T20189.hs:6:1-49)
Valid hole fits include y :: t (bound at T20189.hs:7:1)
|
