Merge branch 'master' of http://darcs.haskell.org/testsuite
[ghc.git] / testsuite / tests / typecheck / should_fail / T7368a.stderr
1 \r
2 T7368a.hs:8:6:\r
3     Couldn't match kind `*' with `* -> *'\r
4     When matching types\r
5       f :: * -> *\r
6       Bad :: (* -> *) -> *\r
7     Expected type: f (Bad f)\r
8       Actual type: Bad t0\r
9     In the pattern: Bad x\r
10     In an equation for `fun': fun (Bad x) = True\r