Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / indexed-types / should_fail / T4174.stderr
1
2 T4174.hs:42:12:
3     Couldn't match type ‘a’ with ‘SmStep’
4       ‘a’ is a rigid type variable bound by
5           the type signature for:
6           testcase :: Monad m => m (Field (Way (GHC6'8 minor) n t p) a b)
7           at T4174.hs:41:13
8     Expected type: m (Field (Way (GHC6'8 minor) n t p) a b)
9       Actual type: m (Field (WayOf m) SmStep RtsSpinLock)
10     Relevant bindings include
11       testcase :: m (Field (Way (GHC6'8 minor) n t p) a b)
12         (bound at T4174.hs:42:1)
13     In the expression: sync_large_objects
14     In an equation for ‘testcase’: testcase = sync_large_objects
15
16 T4174.hs:42:12:
17     Couldn't match type ‘b’ with ‘RtsSpinLock’
18       ‘b’ is a rigid type variable bound by
19           the type signature for:
20           testcase :: Monad m => m (Field (Way (GHC6'8 minor) n t p) a b)
21           at T4174.hs:41:13
22     Expected type: m (Field (Way (GHC6'8 minor) n t p) a b)
23       Actual type: m (Field (WayOf m) SmStep RtsSpinLock)
24     Relevant bindings include
25       testcase :: m (Field (Way (GHC6'8 minor) n t p) a b)
26         (bound at T4174.hs:42:1)
27     In the expression: sync_large_objects
28     In an equation for ‘testcase’: testcase = sync_large_objects