diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T11112.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T11112.stderr | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T11112.stderr b/testsuite/tests/typecheck/should_fail/T11112.stderr index 304078158e..db6e1822cb 100644 --- a/testsuite/tests/typecheck/should_fail/T11112.stderr +++ b/testsuite/tests/typecheck/should_fail/T11112.stderr @@ -2,12 +2,3 @@ T11112.hs:3:9: error: • Expected a type, but ‘Ord s’ has kind ‘Constraint’ • In the type signature: sort :: Ord s -> [s] -> [s] - -T11112.hs:4:11: error: - • Couldn't match expected type ‘[s] -> [s]’ - with actual type ‘Ord s’ - • In the expression: xs - In an equation for ‘sort’: sort xs = xs - • Relevant bindings include - xs :: Ord s (bound at T11112.hs:4:6) - sort :: Ord s => [s] -> [s] (bound at T11112.hs:4:1) |