blob: 2b0524fa2f3abe0e4f77722ea3856ea417247efb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
T4174.hs:42:12: error:
• Couldn't match type ‘a’ with ‘SmStep’
‘a’ 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:41:13
Expected type: m (Field (Way (GHC6'8 minor) n t p) a b)
Actual type: m (Field (WayOf m) SmStep RtsSpinLock)
• 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:42:1)
|