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

T12373.hs:10:19: error: [GHC-18872]
    • Couldn't match a lifted type with an unlifted type
      When matching types
        a0 :: *
        MVar# RealWorld a1 :: UnliftedType
      Expected: (# State# RealWorld, a0 #)
        Actual: (# 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)’