Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T14174.stderr
1
2 T14174.hs:6:27: error:
3     • Expecting one more argument to ‘x’
4       Expected kind ‘x Int’, but ‘x’ has kind ‘* -> *’
5     • In the second argument of ‘T’, namely ‘x’
6       In the type ‘(T (x Int) x)’
7       In the definition of data constructor ‘MkS’