blob: ae962edf36f26327988e24123a61426b216a0150 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
T4174.hs:44:12: error:
• Couldn't match type ‘b’ with ‘RtsSpinLock’
Expected: m (Field (Way (GHC6'8 minor) n t p) a b)
Actual: m (Field (WayOf m) SmStep RtsSpinLock)
‘b’ is a rigid type variable bound by
the type signature for:
testcase :: forall (m :: * -> *) minor n t p a b.
Monad m =>
m (Field (Way (GHC6'8 minor) n t p) a b)
at T4174.hs:43:1-63
• In the expression: sync_large_objects
In an equation for ‘testcase’: testcase = sync_large_objects
• Relevant bindings include
testcase :: m (Field (Way (GHC6'8 minor) n t p) a b)
(bound at T4174.hs:44:1)
|