summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_fail/T7729.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T7729.stderr')
-rw-r--r--testsuite/tests/indexed-types/should_fail/T7729.stderr1
1 files changed, 0 insertions, 1 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T7729.stderr b/testsuite/tests/indexed-types/should_fail/T7729.stderr
index baf93df666..8973e8690e 100644
--- a/testsuite/tests/indexed-types/should_fail/T7729.stderr
+++ b/testsuite/tests/indexed-types/should_fail/T7729.stderr
@@ -4,7 +4,6 @@ T7729.hs:36:14: error:
with: t0 (BasePrimMonad m)
Expected: t0 (BasePrimMonad m) a -> Rand m a
Actual: BasePrimMonad (Rand m) a -> Rand m a
- The type variable ‘t0’ is ambiguous
• In the first argument of ‘(.)’, namely ‘liftPrim’
In the expression: liftPrim . lift
In an equation for ‘liftPrim’: liftPrim = liftPrim . lift