diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail108.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail108.stderr | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail108.stderr b/testsuite/tests/typecheck/should_fail/tcfail108.stderr new file mode 100644 index 0000000000..5d406cd5a6 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/tcfail108.stderr @@ -0,0 +1,7 @@ + +tcfail108.hs:7:10: + Non type-variable argument in the constraint: Eq (f (Rec f)) + (Use -XFlexibleContexts to permit this) + In the context: (Eq (f (Rec f))) + While checking the context of an instance declaration + In the instance declaration for `Eq (Rec f)' |