Testsuite error message changes
[ghc.git] / testsuite / tests / indexed-types / should_fail / T7729a.stderr
1
2 T7729a.hs:36:26:
3     Couldn't match type ‘BasePrimMonad (Rand m)’
4                   with ‘t0 (BasePrimMonad (Rand m))’
5     The type variable ‘t0’ is ambiguous
6     Expected type: BasePrimMonad (Rand m) a
7       Actual type: t0 (BasePrimMonad (Rand m)) a
8     Relevant bindings include
9       x :: BasePrimMonad (Rand m) a (bound at T7729a.hs:36:12)
10       liftPrim :: BasePrimMonad (Rand m) a -> Rand m a
11         (bound at T7729a.hs:36:3)
12     In the first argument of ‘liftPrim’, namely ‘(lift x)’
13     In the expression: liftPrim (lift x)