summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T12373.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T12373.stderr')
-rw-r--r--testsuite/tests/typecheck/should_fail/T12373.stderr11
1 files changed, 11 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T12373.stderr b/testsuite/tests/typecheck/should_fail/T12373.stderr
new file mode 100644
index 0000000000..a2568d75f9
--- /dev/null
+++ b/testsuite/tests/typecheck/should_fail/T12373.stderr
@@ -0,0 +1,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)’