Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail162.stderr
1
2 tcfail162.hs:10:33:
3     Expecting one more argument to ‘ForeignPtr’
4     Expected a type, but ‘ForeignPtr’ has kind ‘* -> *’
5     In the type ‘ForeignPtr’
6     In the definition of data constructor ‘Foo’
7     In the data declaration for ‘Foo’