diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T7778.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T7778.stderr | 17 |
1 files changed, 12 insertions, 5 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T7778.stderr b/testsuite/tests/typecheck/should_fail/T7778.stderr index 7538c15cce..545d885129 100644 --- a/testsuite/tests/typecheck/should_fail/T7778.stderr +++ b/testsuite/tests/typecheck/should_fail/T7778.stderr @@ -1,5 +1,12 @@ -
-T7778.hs:3:19: error:
- Expecting one more argument to ‘Num’
- Expected a type, but ‘Num’ has kind ‘* -> Constraint’
- In the type signature: v :: ((Num Int => Num) ()) => ()
+ +T7778.hs:3:7: error: + • Expecting one fewer argument to ‘Num Int => Num’ + Expected kind ‘* -> Constraint’, but ‘Num Int => Num’ has kind ‘*’ + • In the type signature: + v :: ((Num Int => Num) ()) => () + +T7778.hs:3:19: error: + • Expecting one more argument to ‘Num’ + Expected a type, but ‘Num’ has kind ‘* -> Constraint’ + • In the type signature: + v :: ((Num Int => Num) ()) => () |