blob: cc4a7ae5c5385721db5e05de3db43b156894de8a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
T4174.hs:42:12:
Couldn't match type ‘a’ with ‘SmStep’
‘a’ is a rigid type variable bound by
the type signature for:
testcase :: Monad m => m (Field (Way (GHC6'8 minor) n t p) a b)
at T4174.hs:41:13
Expected type: m (Field (Way (GHC6'8 minor) n t p) a b)
Actual type: m (Field (WayOf m) SmStep RtsSpinLock)
Relevant bindings include
testcase :: m (Field (Way (GHC6'8 minor) n t p) a b)
(bound at T4174.hs:42:1)
In the expression: sync_large_objects
In an equation for ‘testcase’: testcase = sync_large_objects
T4174.hs:42:12:
Couldn't match type ‘b’ with ‘RtsSpinLock’
‘b’ is a rigid type variable bound by
the type signature for:
testcase :: Monad m => m (Field (Way (GHC6'8 minor) n t p) a b)
at T4174.hs:41:13
Expected type: m (Field (Way (GHC6'8 minor) n t p) a b)
Actual type: m (Field (WayOf m) SmStep RtsSpinLock)
Relevant bindings include
testcase :: m (Field (Way (GHC6'8 minor) n t p) a b)
(bound at T4174.hs:42:1)
In the expression: sync_large_objects
In an equation for ‘testcase’: testcase = sync_large_objects
|