T4174.stderr 714 Bytes
Newer Older
1

2
T4174.hs:42:12: error:
3 4
    • Couldn't match type ‘b’ with ‘RtsSpinLock’
      ‘b’ is a rigid type variable bound by
5 6 7 8 9 10 11 12 13 14 15 16
        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)