diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail044.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail044.stderr | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail044.stderr b/testsuite/tests/typecheck/should_fail/tcfail044.stderr new file mode 100644 index 0000000000..03ad2fb705 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/tcfail044.stderr @@ -0,0 +1,16 @@ + +tcfail044.hs:5:20: + 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 -XFlexibleInstances if you want to disable this.) + In the instance declaration for `Eq (a -> a)' + +tcfail044.hs:8:21: + 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 -XFlexibleInstances if you want to disable this.) + In the instance declaration for `Num (a -> a)' |