diff options
Diffstat (limited to 'testsuite/tests/boxy/Base1.stderr')
-rw-r--r-- | testsuite/tests/boxy/Base1.stderr | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/testsuite/tests/boxy/Base1.stderr b/testsuite/tests/boxy/Base1.stderr index 75a8e0cfe2..e9b2144533 100644 --- a/testsuite/tests/boxy/Base1.stderr +++ b/testsuite/tests/boxy/Base1.stderr @@ -1,15 +1,17 @@ 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 + • Couldn't match type: a0 -> a0 + with: forall a. a -> a + Expected: MEither Sid b + Actual: 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) + • Couldn't match type: a1 -> a1 + with: forall a. a -> a + Expected: Maybe (Sid, Sid) + Actual: Maybe (a1 -> a1, a2 -> a2) • In the expression: Just (x, y) In a case alternative: MRight y -> Just (x, y) In the expression: |