blob: 912ac13c42bfc2d013891516f90ecad5e20f1f3f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
T15962.hs:28:11: error: [GHC-88464]
• Found hole: _ :: Big ks -> Big (Eval (Map Dual ks))
Where: ‘ks’ is a rigid type variable bound by
the type signature for:
dualBig :: forall (ks :: [OpKind]).
Big ks -> Big (Eval (Map Dual ks))
at T15962.hs:27:1-45
• In an equation for ‘dualBig’: dualBig = _
• Relevant bindings include
dualBig :: Big ks -> Big (Eval (Map Dual ks))
(bound at T15962.hs:28:1)
Valid hole fits include
dualBig :: Big ks -> Big (Eval (Map Dual ks))
(bound at T15962.hs:28:1)
T15962.hs:34:12: error: [GHC-88464]
Variable not in scope: iDontExist :: Big (Conjunction : ks)
|
