Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail207.hs
1 module Foo where
2
3 f :: Int -> [Int] -> [Int]
4 -- Want an error message that says 'take' is applied to too many args
5 f x = take x []
6
7 g :: [Int]
8 -- Want an error message that says 'take' is applied to too few args
9 g = take 3