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

TyFamArity2.hs:4:15: error:
    • Too many parameters to T:
        Float is unexpected;
        expected only one parameter
    • In the type instance declaration for ‘T’

TyFamArity2.hs:4:29: error:
    • Expected kind ‘* -> *’, but ‘Char’ has kind ‘*’
    • In the type ‘Char’
      In the type instance declaration for ‘T’