diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail129.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail129.stderr | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail129.stderr b/testsuite/tests/typecheck/should_fail/tcfail129.stderr index 331ce03696..34545523c0 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail129.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail129.stderr @@ -1,12 +1,12 @@ -
-tcfail129.hs:12:21: error:
- The type synonym ‘Foo’ should have 1 argument, but has been given none
- In an expression type signature: Bar Foo
- In the expression: undefined :: Bar Foo
- In an equation for ‘blah’: blah = undefined :: Bar Foo
-
-tcfail129.hs:17:22: error:
- The type synonym ‘Foo1’ should have 1 argument, but has been given none
- In an expression type signature: Bar1 Foo1
- In the expression: undefined :: Bar1 Foo1
- In an equation for ‘blah1’: blah1 = undefined :: Bar1 Foo1
+ +tcfail129.hs:12:21: error: + • The type synonym ‘Foo’ should have 1 argument, but has been given none + • In an expression type signature: Bar Foo + In the expression: undefined :: Bar Foo + In an equation for ‘blah’: blah = undefined :: Bar Foo + +tcfail129.hs:17:22: error: + • The type synonym ‘Foo1’ should have 1 argument, but has been given none + • In an expression type signature: Bar1 Foo1 + In the expression: undefined :: Bar1 Foo1 + In an equation for ‘blah1’: blah1 = undefined :: Bar1 Foo1 |