Merge branch 'master' of http://darcs.haskell.org//testsuite
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail110.stderr
1
2 tcfail110.hs:8:30:
3     Expecting one more argument to `Foo a'
4     Expected a type, but `Foo a' has kind `* -> *'
5     In the type signature for `bar':
6       bar :: String -> (forall a. Foo a) -> IO ()