1 files changed, 64 insertions, 0 deletions
diff --git a/testsuite/tests/rebindable/rebindable6.stderr b/testsuite/tests/rebindable/rebindable6.stderr
new file mode 100644
index 0000000000..d451400514
--- /dev/null
+++ b/testsuite/tests/rebindable/rebindable6.stderr
@@ -0,0 +1,64 @@
+
+rebindable6.hs:106:17:
+    No instance for (HasSeq (IO a -> t0 -> IO b))
+      arising from a do statement
+    Possible fix:
+      add an instance declaration for (HasSeq (IO a -> t0 -> IO b))
+    In a stmt of a 'do' block: f
+    In the expression:
+      do { f;
+           Just (b :: b) <- g;
+           return b }
+    In an equation for `test_do':
+        test_do f g
+          = do { f;
+                 Just (b :: b) <- g;
+                 return b }
+
+rebindable6.hs:107:17:
+    No instance for (HasFail ([Prelude.Char] -> t1))
+      arising from a do statement
+    Possible fix:
+      add an instance declaration for (HasFail ([Prelude.Char] -> t1))
+    In a stmt of a 'do' block: Just (b :: b) <- g
+    In the expression:
+      do { f;
+           Just (b :: b) <- g;
+           return b }
+    In an equation for `test_do':
+        test_do f g
+          = do { f;
+                 Just (b :: b) <- g;
+                 return b }
+
+rebindable6.hs:107:17:
+    No instance for (HasBind (IO (Maybe b) -> (Maybe b -> t1) -> t0))
+      arising from a do statement
+    Possible fix:
+      add an instance declaration for
+      (HasBind (IO (Maybe b) -> (Maybe b -> t1) -> t0))
+    In a stmt of a 'do' block: Just (b :: b) <- g
+    In the expression:
+      do { f;
+           Just (b :: b) <- g;
+           return b }
+    In an equation for `test_do':
+        test_do f g
+          = do { f;
+                 Just (b :: b) <- g;
+                 return b }
+
+rebindable6.hs:108:17:
+    No instance for (HasReturn (b -> t1))
+      arising from a use of `return'
+    Possible fix: add an instance declaration for (HasReturn (b -> t1))
+    In a stmt of a 'do' block: return b
+    In the expression:
+      do { f;
+           Just (b :: b) <- g;
+           return b }
+    In an equation for `test_do':
+        test_do f g
+          = do { f;
+                 Just (b :: b) <- g;
+                 return b }