Some tidying up of type pretty-printing
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail110.stderr
1
2 tcfail110.hs:8:30: error:
3     • Expecting one more argument to ‘Foo a’
4       Expected a type, but ‘Foo a’ has kind ‘* -> *’
5     • In the type signature:
6         bar :: String -> (forall a. Foo a) -> IO ()