summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T12373.stderr
blob: a2568d75f95bd6838a53fb573af4f8f3a233d013 (plain)
1
2
3
4
5
6
7
8
9
10
11

T12373.hs:10:19: error:
    • Couldn't match a lifted type with an unlifted type
      When matching types
        a0 :: *
        MVar# RealWorld a1 :: TYPE 'UnliftedRep
      Expected type: (# State# RealWorld, a0 #)
        Actual type: (# State# RealWorld, MVar# RealWorld a1 #)
    • In the expression: newMVar# rw
      In the first argument of ‘IO’, namely ‘(\ rw -> newMVar# rw)’
      In the first argument of ‘(>>)’, namely ‘IO (\ rw -> newMVar# rw)’