diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T4174.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T4174.stderr | 52 |
1 files changed, 28 insertions, 24 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T4174.stderr b/testsuite/tests/indexed-types/should_fail/T4174.stderr index 872004519e..60ae24ccfa 100644 --- a/testsuite/tests/indexed-types/should_fail/T4174.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4174.stderr @@ -1,28 +1,32 @@ -T4174.hs:42:12: - Couldn't match type ‘a’ with ‘SmStep’ +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 :: 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) + 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) -T4174.hs:42:12: - Couldn't match type ‘b’ with ‘RtsSpinLock’ +T4174.hs:42:12: error: + • 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) - 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) + 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) |