Fold testsuite.git into ghc.git (re #8545)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail113.hs
1 -- Tests kind error messages
2
3 -- GHC 6.6 stops on the first kind error it encounters,
4 -- so we only get one error report here. I'll leave
5 -- the other tests in here, though, in case matters improve
6 -- again
7
8 module ShouldFail where
9
10 data T k = T (k Int)
11
12 f :: [Maybe]
13 f x = x
14
15 g :: T Int
16 g x = x
17
18 h :: Int Int
19 h x = x