diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail047.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail047.stderr | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail047.stderr b/testsuite/tests/typecheck/should_fail/tcfail047.stderr new file mode 100644 index 0000000000..e99d9df755 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/tcfail047.stderr @@ -0,0 +1,8 @@ + +tcfail047.hs:6:10: + Illegal instance declaration for `A (a, (b, c))' + (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 `A (a, (b, c))' |