summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail108.stderr
blob: e1b8c71824e0dc0f91787b3a20170620c3498ec0 (plain)
1
2
3
4
5
6
7

tcfail108.hs:7:10:
    Non type-variable argument in the constraint: Eq (f (Rec f))
    (Use FlexibleContexts to permit this)
    In the context: (Eq (f (Rec f)))
    While checking an instance declaration
    In the instance declaration for ‛Eq (Rec f)’