diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail057.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail057.stderr | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail057.stderr b/testsuite/tests/typecheck/should_fail/tcfail057.stderr index 9ddffeb28b..4229e2fc38 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail057.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail057.stderr @@ -2,12 +2,3 @@ tcfail057.hs:5:7: error: • Expected a type, but ‘RealFrac a’ has kind ‘Constraint’ • In the type signature: f :: (RealFrac a) -> a -> a - -tcfail057.hs:6:7: error: - • Couldn't match expected type ‘a -> a’ - with actual type ‘RealFrac a’ - • In the expression: x - In an equation for ‘f’: f x = x - • Relevant bindings include - x :: RealFrac a (bound at tcfail057.hs:6:3) - f :: RealFrac a => a -> a (bound at tcfail057.hs:6:1) |