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