diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T4174.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/T4174.stderr | 14 |
1 files changed, 2 insertions, 12 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T4174.stderr b/testsuite/tests/indexed-types/should_fail/T4174.stderr index 14156deaf0..a33dcf7222 100644 --- a/testsuite/tests/indexed-types/should_fail/T4174.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4174.stderr @@ -1,16 +1,6 @@ T4174.hs:45:12: error: - • Couldn't match type ‘a’ with ‘SmStep’ - Expected: m (Field (Way (GHC6'8 minor) n t p) a b) - Actual: m (Field (WayOf m) SmStep RtsSpinLock) - ‘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:44:1-63 + • Couldn't match type ‘False’ with ‘True’ + arising from a use of ‘sync_large_objects’ • 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:45:1) |