[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc009.hs

module ShouldSucceed where

o (True,x) = x
o (False,y) = y+1