summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_fail/SimpleFail13.stderr
blob: eb54cf2e1182bc782513ffc1d241d77af81c14f2 (plain)
1
2
3
4
5
6
7
8
9
10

SimpleFail13.hs:9:15: error:
    • Illegal type synonym family application ‘C a’ in instance:
        D [C a]
    • In the data instance declaration for ‘D’

SimpleFail13.hs:13:15: error:
    • Illegal type synonym family application ‘C a’ in instance:
        E [C a]
    • In the type instance declaration for ‘E’