1 files changed, 25 insertions, 0 deletions
diff --git a/testsuite/tests/rebindable/DoParamM.stderr b/testsuite/tests/rebindable/DoParamM.stderr
new file mode 100644
index 0000000000..7abfdd4b56
--- /dev/null
+++ b/testsuite/tests/rebindable/DoParamM.stderr
@@ -0,0 +1,25 @@
+
+DoParamM.hs:146:25:
+    Couldn't match expected type `Int' with actual type `Char'
+    In the second argument of `(==)', namely `v''
+    In the first argument of `return', namely `(v == v')'
+    In a stmt of a 'do' block: return (v == v')
+
+DoParamM.hs:286:28:
+    Couldn't match expected type `Locked' with actual type `Unlocked'
+    Expected type: LIO Locked r0 b0
+      Actual type: LIO Unlocked Locked ()
+    In a stmt of a 'do' block: tlock2_do
+    In the expression:
+      do { tlock2_do;
+           tlock2_do }
+
+DoParamM.hs:302:37:
+    Couldn't match expected type `Unlocked' with actual type `Locked'
+    Expected type: LIO Unlocked r0 b0
+      Actual type: LIO Locked Unlocked ()
+    In a stmt of a 'do' block: unlock
+    In the expression:
+      do { tlock2_do;
+           unlock;
+           unlock }