path: root/testsuite/tests/ghc-regress/typecheck/should_compile/tc025.hs

module ShouldSucceed where

g x = f (f True x) x where f x y = if x then y else (f x y)