diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T6022.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T6022.stderr | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T6022.stderr b/testsuite/tests/typecheck/should_fail/T6022.stderr index 61d44b2497..e690095665 100644 --- a/testsuite/tests/typecheck/should_fail/T6022.stderr +++ b/testsuite/tests/typecheck/should_fail/T6022.stderr @@ -1,6 +1,6 @@ -
-T6022.hs:3:1: error:
- Non type-variable argument in the constraint: Eq ([a] -> a)
- (Use FlexibleContexts to permit this)
- When checking the inferred type
- f :: forall a. Eq ([a] -> a) => ([a] -> a) -> Bool
+ +T6022.hs:3:1: error: + • Non type-variable argument in the constraint: Eq ([a] -> a) + (Use FlexibleContexts to permit this) + • When checking the inferred type + f :: forall a. Eq ([a] -> a) => ([a] -> a) -> Bool |