diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-11-27 14:32:38 +0000 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-11-27 14:32:38 +0000 |
commit | 4721167a0118e4c8bc6c8266c3357a8a2ac4f4e2 (patch) | |
tree | 27d1bd40033cc39ed521294b3d5d27e7c7ce4362 | |
parent | 417b8746b9d3759a102160c4db882b18ac658a0e (diff) | |
download | haskell-4721167a0118e4c8bc6c8266c3357a8a2ac4f4e2.tar.gz |
Trac #6022 is actually fine now
-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, ['']) |