testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / tc024.hs
1 module ShouldSucceed where
2
3 main x = s k k x
4
5 s f g x = f x (g x)
6
7 k x y = x