diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T11112.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T11112.stderr | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T11112.stderr b/testsuite/tests/typecheck/should_fail/T11112.stderr index ec2154c8ce..304078158e 100644 --- a/testsuite/tests/typecheck/should_fail/T11112.stderr +++ b/testsuite/tests/typecheck/should_fail/T11112.stderr @@ -1,5 +1,13 @@ T11112.hs:3:9: error: • Expected a type, but ‘Ord s’ has kind ‘Constraint’ - • In the type signature: - sort :: Ord s -> [s] -> [s] + • 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) |