Add missing stderr file
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 30 Sep 2016 12:32:51 +0000 (13:32 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 30 Sep 2016 12:32:51 +0000 (13:32 +0100)
..accidentally omitted from previous commit.

testsuite/tests/boxy/Base1.stderr [new file with mode: 0644]

diff --git a/testsuite/tests/boxy/Base1.stderr b/testsuite/tests/boxy/Base1.stderr
new file mode 100644 (file)
index 0000000..053a3bc
--- /dev/null
@@ -0,0 +1,18 @@
+
+Base1.hs:20:13: error:
+    • Couldn't match type ‘a0 -> a0’ with ‘forall a. a -> a’
+      Expected type: MEither Sid b
+        Actual type: MEither (a0 -> a0) b
+    • In the expression: MLeft fid
+      In an equation for ‘test1’: test1 fid = MLeft fid
+
+Base1.hs:25:39: error:
+    • Couldn't match type ‘a1 -> a1’ with ‘forall a. a -> a’
+      Expected type: Maybe (Sid, Sid)
+        Actual type: Maybe (a1 -> a1, a2 -> a2)
+    • In the expression: Just (x, y)
+      In a case alternative: MRight y -> Just (x, y)
+      In the expression:
+        case m of {
+          MRight y -> Just (x, y)
+          _ -> Nothing }