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