diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail044.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail044.stderr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail044.stderr b/testsuite/tests/typecheck/should_fail/tcfail044.stderr index eaf769f8b7..9733cc4fc8 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail044.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail044.stderr @@ -1,16 +1,16 @@ tcfail044.hs:5:20: - Illegal instance declaration for ‛Eq (a -> a)’ + Illegal instance declaration for ‘Eq (a -> a)’ (All instance types must be of the form (T a1 ... an) where a1 ... an are *distinct type variables*, and each type variable appears at most once in the instance head. Use FlexibleInstances if you want to disable this.) - In the instance declaration for ‛Eq (a -> a)’ + In the instance declaration for ‘Eq (a -> a)’ tcfail044.hs:8:21: - Illegal instance declaration for ‛Num (a -> a)’ + Illegal instance declaration for ‘Num (a -> a)’ (All instance types must be of the form (T a1 ... an) where a1 ... an are *distinct type variables*, and each type variable appears at most once in the instance head. Use FlexibleInstances if you want to disable this.) - In the instance declaration for ‛Num (a -> a)’ + In the instance declaration for ‘Num (a -> a)’ |