summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_fail/T7729a.stderr
blob: 41aa1a057fcc847453b5383212b131645c82b4b5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13

T7729a.hs:36:26: error: [GHC-83865]
    • Couldn't match type: BasePrimMonad m
                     with: t0 m0
      Expected: BasePrimMonad (Rand m) a
        Actual: t0 m0 a
    • In the first argument of ‘liftPrim’, namely ‘(lift x)’
      In the expression: liftPrim (lift x)
      In an equation for ‘liftPrim’: liftPrim x = liftPrim (lift x)
    • Relevant bindings include
        x :: BasePrimMonad (Rand m) a (bound at T7729a.hs:36:12)
        liftPrim :: BasePrimMonad (Rand m) a -> Rand m a
          (bound at T7729a.hs:36:3)