diff options
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T6022.stderr | 12 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/all.T | 2 |
2 files changed, 7 insertions, 7 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T6022.stderr b/testsuite/tests/typecheck/should_fail/T6022.stderr index dffeccf913..4408910974 100644 --- a/testsuite/tests/typecheck/should_fail/T6022.stderr +++ b/testsuite/tests/typecheck/should_fail/T6022.stderr @@ -1,6 +1,6 @@ -
-T6022.hs:3:9:
- No instance for (Eq ([a] -> a)) arising from a use of `=='
- Possible fix: add an instance declaration for (Eq ([a] -> a))
- In the expression: x == head
- In an equation for `f': f x = x == head
+ +T6022.hs:3:1: + Non type-variable argument in the constraint: Eq ([a] -> a) + (Use FlexibleContexts to permit this) + When checking that âfâ has the inferred type + f :: forall a. Eq ([a] -> a) => ([a] -> a) -> Bool diff --git a/testsuite/tests/typecheck/should_fail/all.T b/testsuite/tests/typecheck/should_fail/all.T index 05f77bbf99..96c19089f5 100644 --- a/testsuite/tests/typecheck/should_fail/all.T +++ b/testsuite/tests/typecheck/should_fail/all.T @@ -274,7 +274,7 @@ test('T5684', normal, compile_fail, ['']) test('T5858', normal, compile_fail, ['']) test('T5957', normal, compile_fail, ['']) test('T6001', normal, compile_fail, ['']) -test('T6022', expect_broken(6022), compile_fail, ['']) +test('T6022', normal, compile_fail, ['']) test('T5853', normal, compile_fail, ['']) test('T6078', normal, compile_fail, ['']) test('FDsFromGivens', normal, compile_fail, ['']) |