diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T17594.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T17594.stderr | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T17594.stderr b/testsuite/tests/typecheck/should_fail/T17594.stderr deleted file mode 100644 index 0fd1329dcf..0000000000 --- a/testsuite/tests/typecheck/should_fail/T17594.stderr +++ /dev/null @@ -1,18 +0,0 @@ - -T17594.hs:4:1: error: - • @-binders in functions are not allowed yet - • In an equation for ‘id1’: id1 @a x = x - The equation for ‘id1’ has two value arguments, - but its type ‘a -> a’ has only one - -T17594.hs:7:1: error: - • @-binders in functions are not allowed yet - • In an equation for ‘id2’: id2 @_ x = x - The equation for ‘id2’ has two value arguments, - but its type ‘a -> a’ has only one - -T17594.hs:10:1: error: - • @-binders in functions are not allowed yet - • In an equation for ‘id3’: id3 @a (x :: a) = x - The equation for ‘id3’ has two value arguments, - but its type ‘a -> a’ has only one |