testsuite/tests/typecheck/should_fail/tcfail136.stderr


1
2
3
4
5
6
7


tcfail136.hs:9:35:
    `SymDict' is not applied to enough type arguments
    Expected kind `ArgKind', but `SymDict' has kind `* -> *'
    In the type `SymDict'
    In the definition of data constructor `SymTable'
    In the data type declaration for `SymTable'