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

T7019.hs:11:12:
    Illegal constraint: forall a. c (Free c a)
    In the type ‘forall a. c (Free c a)’
    In the type declaration for ‘C’