diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T13902.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T13902.stderr | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T13902.stderr b/testsuite/tests/typecheck/should_fail/T13902.stderr new file mode 100644 index 0000000000..c3d07edfd1 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T13902.stderr @@ -0,0 +1,8 @@ + +T13902.hs:8:5: error: + • Couldn't match expected type ‘Integer -> Int’ + with actual type ‘Int’ + • The expression ‘f @Int’ is applied to two arguments, + but its type ‘Int -> Int’ has only one + In the expression: f @Int 42 5 + In an equation for ‘g’: g = f @Int 42 5 |