[ghc-hetmet.git] / ghc / compiler / tests / typecheck / should_succeed / tc026.hs

module ShouldSucceed where

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