Fix impredicativity (again)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail153.hs
1 -- Killed a test compiler, so I thought it was worth including
2
3 module ShouldFail where
4
5 f :: a -> [a]
6 f x = g x
7 where
8 g y = if y then [] else [y]