diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail140.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail140.stderr | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail140.stderr b/testsuite/tests/typecheck/should_fail/tcfail140.stderr new file mode 100644 index 0000000000..bc888d2309 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/tcfail140.stderr @@ -0,0 +1,29 @@ + +tcfail140.hs:10:7: + The function `f' is applied to two arguments, + but its type `Int -> Int' has only one + In the expression: f 3 9 + In an equation for `bar': bar = f 3 9 + +tcfail140.hs:12:10: + The operator `f' takes two arguments, + but its type `Int -> Int' has only one + In the expression: 3 `f` 4 + In an equation for `rot': rot xs = 3 `f` 4 + +tcfail140.hs:14:15: + The operator `f' takes two arguments, + but its type `Int -> Int' has only one + In the first argument of `map', namely `(3 `f`)' + In the expression: map (3 `f`) xs + In an equation for `bot': bot xs = map (3 `f`) xs + +tcfail140.hs:16:8: + Constructor `Just' should have 1 argument, but has been given none + In the pattern: Just + In the expression: (\ Just x -> x) :: Maybe a -> a + In the expression: ((\ Just x -> x) :: Maybe a -> a) (Just 1) + +tcfail140.hs:19:1: + The equation(s) for `g' have two arguments, + but its type `Int -> Int' has only one |