diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail063.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail063.stderr | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail063.stderr b/testsuite/tests/typecheck/should_fail/tcfail063.stderr index 7dd1e9ce02..a3347122e7 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail063.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail063.stderr @@ -3,20 +3,3 @@ tcfail063.hs:6:9: error: • Expecting one more argument to ‘Num’ Expected a constraint, but ‘Num’ has kind ‘* -> Constraint’ • In the type signature: moby :: Num => Int -> a -> Int - -tcfail063.hs:7:14: error: - • Could not deduce: a ~ Int - from the context: Num - bound by the type signature for: - moby :: forall a. Num => Int -> a -> Int - at tcfail063.hs:6:1-30 - ‘a’ is a rigid type variable bound by - the type signature for: - moby :: forall a. Num => Int -> a -> Int - at tcfail063.hs:6:1-30 - • In the second argument of ‘(+)’, namely ‘y’ - In the expression: x + y - In an equation for ‘moby’: moby x y = x + y - • Relevant bindings include - y :: a (bound at tcfail063.hs:7:8) - moby :: Int -> a -> Int (bound at tcfail063.hs:7:1) |