testsuite/tests/ghc-regress/typecheck/should_fail/tcfail207.hs


1
2
3
4
5
6
7
8
9

module Foo where

f :: Int -> [Int] -> [Int]
-- Want an error message that says 'take' is applied to too many args
f x = take x []

g :: [Int]
-- Want an error message that says 'take' is applied to too few args
g = take 3