SCC analysis for instances as well as types/classes
[ghc.git] / testsuite / tests / typecheck / should_compile / tc025.hs
1 module ShouldSucceed where
2
3 g x = f (f True x) x where f x y = if x then y else (f x y)