diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T7729.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T7729.stderr | 23 |
1 files changed, 11 insertions, 12 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T7729.stderr b/testsuite/tests/indexed-types/should_fail/T7729.stderr index 1e93e4017c..053d54e264 100644 --- a/testsuite/tests/indexed-types/should_fail/T7729.stderr +++ b/testsuite/tests/indexed-types/should_fail/T7729.stderr @@ -1,12 +1,11 @@ -
-T7729.hs:36:14:
- Couldn't match type ‘BasePrimMonad (Rand m)’
- with ‘t0 (BasePrimMonad (Rand m))’
- The type variable ‘t0’ is ambiguous
- Expected type: t0 (BasePrimMonad (Rand m)) a -> Rand m a
- Actual type: BasePrimMonad (Rand m) a -> Rand m a
- Relevant bindings include
- liftPrim :: BasePrimMonad (Rand m) a -> Rand m a
- (bound at T7729.hs:36:3)
- In the first argument of ‘(.)’, namely ‘liftPrim’
- In the expression: liftPrim . lift
+ +T7729.hs:36:14: + Couldn't match type ‘t0 (BasePrimMonad m)’ with ‘BasePrimMonad m’ + The type variable ‘t0’ is ambiguous + Expected type: t0 (BasePrimMonad m) a -> Rand m a + Actual type: BasePrimMonad (Rand m) a -> Rand m a + Relevant bindings include + liftPrim :: BasePrimMonad (Rand m) a -> Rand m a + (bound at T7729.hs:36:3) + In the first argument of ‘(.)’, namely ‘liftPrim’ + In the expression: liftPrim . lift |